Formale Analyse und Bewertung von Programmen und Programmsystemen als Beitrag zur Beurteilung von Softwareprodukten. - Werner, André (Freie Univ., Fachbereich Wirtschaftswiss., 1982)