%0 Journal Article %1 journals/mst/LehmannS81 %A Lehmann, Daniel J. %A Smyth, Michael B. %D 1981 %J Mathematical Systems Theory %K dblp %P 97-139 %T Algebraic Specification of Data Types: A Synthetic Approach. %U http://dblp.uni-trier.de/db/journals/mst/mst14.html#LehmannS81 %V 14

@article{journals/mst/LehmannS81, added-at = {2007-11-03T00:18:07.000+0100}, author = {Lehmann, Daniel J. and Smyth, Michael B.}, biburl = {https://www.bibsonomy.org/bibtex/2368225b59860acfdb164f855562524be/bsmyth}, date = {2003-12-02}, description = {dblp}, interhash = {aa5f396f055fd44271d344b553f34a96}, intrahash = {368225b59860acfdb164f855562524be}, journal = {Mathematical Systems Theory}, keywords = {dblp}, pages = {97-139}, timestamp = {2007-11-03T00:18:09.000+0100}, title = {Algebraic Specification of Data Types: A Synthetic Approach.}, url = {http://dblp.uni-trier.de/db/journals/mst/mst14.html#LehmannS81}, volume = 14, year = 1981 }