@inproceedings(tasop,

title = "Towards an Algebraic Semantics for the Object Paradigm",

author = "Joseph Goguen and R\u{a}zvan Diaconescu",

booktitle = "Recent Trends in Data Type Specification",

editor = "Harmut Ehrig and Fernando Orejas",

location = "Barcelona",

publisher = "Springer",

series = "Lecture Notes in Computer Science",

pages = "1--34",

volume = 785,

year = "1994")