An oxford survey of order sorted algebra (1994)

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