| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures: Background - Computational Structures Vol 2 | 978-O-19-853761-8 (O-19-853761-1) | 1993 |
E.M. · S. E. · S M · T. M · T. Maibaum · T.S. · T. S. E. Maibaum · T. S. M. · T. S. Maibaum · Thomas E. · Thomas M. · Thomas Maibaum · Thomas S.