@book{1144348,
	author = {Валидов},
	title = {Введение в теорию формального вывода программ},
	publisher = {Таглимат},
	year = {1999},
	address = {Казань}
}