Sémantická analýza programů - Křetínský, Mojmír, 1950- (1988)