Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki. Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Informatica, 29(8):689-736, 1992.
@article{SannellaST92, title = {Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited}, author = {Donald Sannella and Stefan Sokolowski and Andrzej Tarlecki}, year = {1992}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/SannellaST92}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {29}, number = {8}, pages = {689-736}, }