@article(osa-survey,
title = "An {O}xford Survey of Order Sorted Algebra",
author = "Joseph Goguen and R\u{a}zvan Diaconescu",
journal = "Mathematical Structures in Computer Science",
volume = 4, number = 4,
pages = "363--392",
year = 1994)