Standard Model Semantics for DSL A Data Type Specification Language.

Jan A. Bergstra J. Terlouw Standard Model Semantics for DSL A Data Type Specification Language. 97-113 1983 19 Acta Inf. db/journals/acta/acta19.html#BergstraT83