Friedrich L. Bauer Martin Wirsing Crypt-Equivalent Algebraic Specifications. 111-153 1988 25 Acta Inf. 2 db/journals/acta/acta25.html#BauerW88