D.C. · I.C. · Iain Craig
Prentice Hall · Springer · Springer, Berlin
| title | ISBN-13 | year of publica- tion | |
|---|---|---|---|
| Formal Models of Operating System Kernels | 978-1-84628-375-8 | 2006 | |
| Formal Specification of Advanced AI Architectures | 978-0-13-328832-2 | 1991 | |
| Object-oriented Programming Languages: Interpretation | 978-1-84628-773-2 | 2007 | |
| Programming in Dylan | 978-3-540-76053-5 | 1997 | |
| Virtual Machines | 978-1-85233-969-2 | 2005 |