publication venue for Configuration versus Use: Specification Languages versus Logics. 1988 Modular Construction of Logics for Specification. 1986 Axiomatising Specification Theory 1985 Structuring of Specifications within a Logical Theory of Data Types. 1983
