Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics. - Barrett R. Bryant; Balanjaninath Edupuganty; Lee S. Hull (Comput. Lang., 1986)