D S · Don Sannella · Donald Sannella · Donald T. Sannella
Cambridge University Press · Springer
title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
---|---|---|---|
Foundations of Algebraic Specification and Formal Program Development | 978-0-521-40183-8 (0-521-40183-6) | 2004 | A. Tarlecki |
Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data | 978-0-387-50325-7 (0-387-50325-0) | 1988 |