7 works on record
Computer science logic
1994
Fields of logic and computation
Abstract state machines
Semantics of programming languages and model theory
Classical Decision Problem
Abstract State Machines - Theory and Applications
Tests and Proofs
