Egon Börger

• Java and the Java virtual machine
• Abstract State Machines, B and Z
• Architecture Design and Validation Methods
• Berechenbarkeit Komplexität Logik
• Berechenbarkeit, Komplexität, Logik
• Classical Decision Problem
• Computation Theory and Logic
• Computer Science Logic
• CSL '87
• Modeling Companion for Software Practitioners
• Abstract State Machines
• Abstract State Machines 2003 : Advances in Theory and Practice