| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic in Computer Science: Modelling and Reasoning about Systems | 978-O-521-656O2-3 (O-521-656O2-8) | 1999 | Michael Huth · Mark Ryan |
M. H. · Margaret Huth Meeker · Margret Huth · Mark Huth · Mark W. Huth · Marta Huth · Michael Huth · Michael Huth and Mark Ryan · Michael R. A. Huth · Mike Huth · Moeller Huth Hoecher