10 books • 3 series
Object-Oriented Programming Languages
Object-Oriented Programming Languages: Interpretation (Undergraduate Topics in Computer Science)
Formal Refinement for Operating System Kernels
Formal Models of Operating System Kernels
Virtual Machines
Interpretation of Object-oriented Programming Languages
Programming in Dylan
Formal Specification of Advanced AI Architectures
Formal Specification of Advanced Problems Solving Architectures (Ellis Horwood Series in Artificial Intelligence)
The Cassandra Architecture (Ellis Horwood series in information technology)