1.
2.
Foundations of Algebraic Specification and Formal Program Development
by Sannella, D., Tarlecki, A.
ISBN: 9780521401838
OUT OF STOCK
See Availability on Amazon3.
Recent Trends in Data Type Specification 5th Workshop on Specification of Abstract Data
by Sannella, D., Tarlecki, And...
ISBN: 9780387503257
List Price: $49.95