Michael Marcotty Henry F. Ledgard Gregor von Bochmann Corrigendum: ``A Sampler of Formal Definitions''. 168 1977 9 ACM Comput. Surv. 2 db/journals/csur/csur9.html#MarcottyLB77