Order-sorted algebra I: Partial and overloaded operators, errors and inheritance (1987)

by J A Goguen, J Meseguer
Venue:Unpublished report, SRI International, Menlo Park, CA