Joseph A. Goguen Razvan Diaconescu An Oxford Survey of Order Sorted Algebra. 363-392 1994 4 Mathematical Structures in Computer Science 3 db/journals/mscs/mscs4.html#GoguenD94