An Oxford Survey of Order Sorted Algebra (1994)

by J A Goguen, R Diaconescu
Venue:Mathematical Structures in Computer Science 4