Friedrich L. Bauer, Martin Wirsing. Crypt-Equivalent Algebraic Specifications. Acta Informatica, 25(2):111-153, 1988.
@article{BauerW88, title = {Crypt-Equivalent Algebraic Specifications}, author = {Friedrich L. Bauer and Martin Wirsing}, year = {1988}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/BauerW88}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {25}, number = {2}, pages = {111-153}, }