Návrat, Pavol, 1952- Použitie Markovovho normálneho algoritmu a formálna manipulácia so symbolmi / aut. Pavol Návrat ; škol. Ľudovít Molnár. -- 1975, Bratislava : Slovenská vysoká škola technická. -- 59 s. Molnár, Ľudovít, 1940-