@book{13470916,
	author = {Аляев, Ю. А.},
	title = {АВТОМАТИЗАЦИЯ синтеза проверяющих тестов для контроля комбинационных схем из настраиваемых модулей},
	publisher = {Институт повышения квалификации судостроительной промышленности},
	year = {1988},
	address = {Ленинград}
}