Sémantická analýza programů - Křetínský, Mojmír, 1950-; Univerzita J.E. Purkyně v Brně (1988)
Habilitační práce--Univerzita Jana Evangelisty Purkyně, Přírodovědecká fakulta, 1988.
Keywords: habilitační práce