@inproceedings{DBLP:conf/compass/Hoare95,
  title = "Unification of Theories: A Challenge for Computing Science",
  author = "C. A. R. Hoare",
  year = "1995",
  booktitle = "Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers",
  editor = "Magne Haveraaen and Olaf Owe and Ole-Johan Dahl",
  pages = "49-57",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "1130",
  doi = "10.1007/3-540-61629-2_35",
}