4 books
Modeling Companion for Software Practitioners
Subject-Oriented Business Process Management
Abstract State Machines
Java and the Java Virtual Machine