Universal Algebra (2nd edition), Springer. The algebraic specification of abstract data (0)

by J V Guttag, J J types Homing
Venue:Acta Informatica