Formální operace s výrazy na počítačích - Čermák, Libor (1973)