@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")