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