Metody formalizovaného zobrazení systémů - Volkova, V. N.; Temnikov, F. J. (rz1, 1977)