Logická analýza programů - Široký, Pavel (1981)