| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| An Introduction to Programming With Specifications: A Mathematical Approach | 978-0-12-427620-8 (0-12-427620-2) | 1991 | Ryszard Kubiak · Roman Rudzinski · S. Sokoowski | |
| Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS '93, Gdansk, Poland, August 30 - September 3, 1993. Proceedings | 978-3-540-57182-7 (3-540-57182-5) | 1993 | Andrzej M. Borzyszkowski |