Heinz W. Schmidt. Polymorphic Types and Algebraic Specifications. In ADT. 1986.
@inproceedings{Schmidt86:5, title = {Polymorphic Types and Algebraic Specifications}, author = {Heinz W. Schmidt}, year = {1986}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Schmidt86%3A5}, cites = {0}, citedby = {0}, booktitle = {ADT}, }