Martin Wirsing. Structured Algebraic Specifications: A Kernel Language. Theoretical Computer Science, 42:123-249, 1986.
@article{Wirsing86:1, title = {Structured Algebraic Specifications: A Kernel Language}, author = {Martin Wirsing}, year = {1986}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Wirsing86%3A1}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {42}, pages = {123-249}, }