Michael Marcotty Henry F. Ledgard Gregor von Bochmann A Sampler of Formal Definitions. 191-276 1976 8 ACM Comput. Surv. 2 db/journals/csur/csur8.html#MarcottyLB76