Математическая теория проектирования вычислительных систем - Капитонова Ю.В., Летичевский А.А (Наука, 1988)