Order-sorted Algebra I equational deduction for multiple inheritance, overloading, exceptions and partial operations - Goguen, Joseph 1941-2006; Meseguer, José (1989)