8 books on BookOwl
Structures of Computing
2024
Modeling Companion for Software Practitioners
2018
Abstract State Machines
2013
2012
Abstract State Machines, B and Z
2008
Advances in Software Engineering
Computation Theory and Logic
2007
Java and the Java Virtual Machine
2001