@book{78458,
	author = {Котов, Вадим Евгеньевич},
	title = {Теория программирования и средства описания параллелизма дискретных систем :},
	publisher = {ВЦ СО АН СССР,},
	year = {1985.},
	address = {Новосибирск :}
}