Propagating chain-free normal forms for EOL systems - Čulik, K.; Maurer, Hermann August ca. 20.Jh (1977)