A Characterization of Program Equivalence in Terms of Hoare's Logic. - Jan A. Bergstra; J. Terlouw (GI Jahrestagung, 1981)

Standard Model Semantics for DSL A Data Type Specification Language. - Jan A. Bergstra; J. Terlouw (Acta Informatica, 1983)