An Oxford Survey of Order Sorted Algebra (1994)

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