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