1. Altenhofen, M. and E. BÖrger: Concurrent Abstract State Machines and + CAL Programs. In: Corradini, A. and U. Montanari (editors): Proc. WADT’08, LNCS. Springer, 2009. to appear.
2. Beierle, C., E. BÖrger, I. Durdanovi ´c, U. GlÄsser and E. Riccobene: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. In: Abrial, Jean-Raymond, Egon Börger and Hans Langmaack (editors): Formal Methods for Industrial Applications 1995, volume 1165 of series LNCS, pages 52–78. Springer, 1996.
3. Börger, E., P. Päppinghaus and J. Schmid: Report on a Practical Application of ASMs in Software Design. In: Gurevich, Yuri, Philipp W. Kutter, Martin Odersky and Lothar Thiele (editors): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, volume 1912 of series LNCS, pages 361– 366. Springer, 2000.
4. Börger, E. and R. F. Stärk: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, 2003.
5. Craig, I.D.: Formal Models of Operating System Kernels. Springer, 2007.