Metody formalizovaného zobrazení systémů - Volkova, V. N.; Temnikov, F. Je (Učební texty, 1977)