An Oxford Survey of Order Sorted Algebra (1994)

by Joseph Goguen , Razvan Diaconescu
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:26 - 2 self