Matematičeskaja teorija projektirovanija vyčisliteľnych sistem - Kapitonova, Julija Vladimirovna; Letičevskij, A.A (Nauka, 1988)