and Razvan Diaconescu. A survey of order sorted algebra (1992)

by Joseph Goguen