@book{2228860,
	author = {Миков, А. И.},
	title = {Математика программных систем},
	publisher = {Пермский государственный университет},
	year = {2007},
	address = {Пермь}
}