Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance (1992)

by Joseph Goguen, José Meseguer
Venue:Overloading, Exceptions and Partial Operations. Theoretical Computer Science