%0 Conference Paper %1 conf/compass/Mosses91 %A Mosses, Peter D. %B COMPASS/ADT %D 1991 %E Bidoit, Michel %E Choppy, Christine %I Springer %K dblp %P 66-92 %T The Use of Sorts in Algebraic Specifications. %U http://dblp.uni-trier.de/db/conf/compass/compass91.html#Mosses91 %V 655 %@ 3-540-56379-2

@inproceedings{conf/compass/Mosses91, added-at = {2018-11-14T00:00:00.000+0100}, author = {Mosses, Peter D.}, biburl = {https://www.bibsonomy.org/bibtex/2c22263747e4c132502d0690d3016dc82/dblp}, booktitle = {COMPASS/ADT}, crossref = {conf/compass/1991}, editor = {Bidoit, Michel and Choppy, Christine}, ee = {https://www.wikidata.org/entity/Q57783623}, interhash = {4bbec4e28dc6afb4c1008ca59b569267}, intrahash = {c22263747e4c132502d0690d3016dc82}, isbn = {3-540-56379-2}, keywords = {dblp}, pages = {66-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:30:54.000+0200}, title = {The Use of Sorts in Algebraic Specifications.}, url = {http://dblp.uni-trier.de/db/conf/compass/compass91.html#Mosses91}, volume = 655, year = 1991 }