Horst Hansen. From Algebraic Specifications towards Algebraic Programs. In ADT. 1986.
@inproceedings{Hansen86, title = {From Algebraic Specifications towards Algebraic Programs}, author = {Horst Hansen}, year = {1986}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Hansen86}, cites = {0}, citedby = {0}, booktitle = {ADT}, }