and Răzvan Diaconescu. An Oxford survey of order sorted algebra (1994)

by Joseph Goguen
Venue:Mathematical Structures in Computer Science