| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings | 978-3-540-43928-8 | A. C. Schrijver · L. H. Eriksson | ||
| Introduction to Quantum Electronics | 978-0-470-53891-3 | 1975 | ||
| Introduction to Quantum Mechanics for Electrical Engineers | 978-0-07-094044-4 | 1967 | ||
| Mural: A Formal Development Support System | 978-0-387-19651-0 | 1991 | C. B. Jones · R. Moore | |
A.L. · P. A. · Parker Victoria Armstrong Lindsay · Peter A. Lindsay · Peter Alexander Lindsay
McGraw-Hill · Springer · Wiley