Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.

Joseph A. Goguen José Meseguer Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. 217-273 1992 105 Theor. Comput. Sci. 2 db/journals/tcs/tcs105.html#GoguenM92