A. Tarlock · A. Troelstrup · Andrzej Tarlecki
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 | D. Sannella |
| Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991: Proceedings ... FOUNDATIONS OF COMPUTER SCIENCE) | 978-0-387-54345-1 (0-387-54345-7) | 1991 | |