!!Egon Boerger - Major Publications
\\
1.	Berechenbarkeit, Komplexitaet, Logik. Eine Einfuehrung in Algorithmen, Sprachen und  Kalkuele unter besonderer Beruecksichtigung ihrer Komplexitaet. Verlag Vieweg, Braunschweig 1985  (1), 1986(2): pp. XVIII+469; 1992(3): pp. XVIII+499. Italian translation  Bollati Boringhieri, Torino  1989. English Translation Computability, Complexity, Logic in: Studies in Logic and the Foundations of Mathematics, vol. 128, North- Holland, Amsterdam 1989, pp. XX+592.
\\ \\
2.	The Classical Decision Problem (with E.Graedel and Y.Gurevich). Perspectives in Mathematical Logic, Springer-Verlag Berlin, Heidelberg etc., 1997, pp. XII+482, ISBN 3-540-57073-X. Second printing in "Universitext",Springer-Verlag 2001, ISBN 3-540-42324-9.
\\ \\
3.	 Java and the Java Virtual Machine: Definition, Verification, Validation (with R. Staerk and J. Schmid). Springer-Verlag (ISBN 3-540-42088-6) Berlin-Heidelberg-New York, 2001, pp.X+381+CD-ROM. Republished in 2003 in Springer's Textbook CD-ROM.    
\\ \\    
4.	Abstract State Machines. A Method for High-Level System Design and Analysis (with R. Staerk). Springer-Verlag (ISBN 3-540-00702-4) Berlin-Heidelberg-New York, 2003,pp.X+438+CD-ROM.
\\ \\
5. Modeling Companion for Software Practitioners (with A. Raschke). Springer 2018
\\ \\
6. The WAM - Definition and Compiler Correctness (with D. Rosenzweig).
Logic Programming: Formal Methods and Practical Applications, Elsevier Science
B.V./North-Holland, 1995, pp. 20--90
\\ \\ 
7. Correctness of Compiling Occam to Transputer Code (with I. Durdanovic). The Computer Journal, Vol. 39, No.1, pp.52-92, 1996
\\ \\
8.	The ASM Refinement Method. Formal Aspects of Computing, ISSN 0934-5043, 15:237-257, 2003
\\ \\
9.	A High-Level Modular Definition of the Semantics of C\# ( with G. Fruja, V. Gervasi, R. Staerk). Theoretical Computer Science 336 (2005) 235-284
\\ \\
10.	A High-Level Specification for Virtual Providers (with M. Altenhofen, A. Friesen, J. Lemcke). International Journal of Business Process Integration and Management (IJBPIM) Vol.1, Issue 4, December 2006, 267-278
\\ \\
11.	Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based  Systems. Formal Aspects of Computing (2007) 19: 225-241
\\ \\
12.	Modularizing Theorems for Software Product Lines: The Jbook Case Study (with D. Batory). Journal of Universal Computer Science 14(12), 2008, pp. 2059-2082
\\ \\ 
13. Modeling the .NET CLR Exception Handling Mechanism for a
Mathematical Analysis (with N. Fruja) Journal of Object Technology
5 (3), 2006, 5--34 
\\ \\ 
14. Concurrent Abstract State Machines (with K.-D.Schewe) Acta Informatica 53 (5), 2016, 469–492