Egon Börger et Dean Rosenzweig, « A mathematical definition of full Prolog », Science of Computer Programming, vol. 24, no 3, , p. 249-286 (DOI10.1016/0167-6423(95)00006-e)
Egon Börger, Nicu G. Fruja, Vincenzo Gervasi et Robert F. Stärk, « A high-level modular definition of the semantics of C# », Theoretical Computer Science, vol. 336, nos 2-3, , p. 235-284 (ISSN0304-3975, DOI10.1016/j.tcs.2004.11.008).
Uwe Glässer, Reinhard Gotzhein et Andreas Prinz, « The formal semantics of SDL-2000: Status and perspectives », Computer Networks, vol. 42, no 3, , p. 343-358 (ISSN1389-1286, DOI10.1016/s1389-1286(03)00247-0).
Egon Börger, Uwe Glässer et Wolfgang Muller, « A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines », dans Carlos Delagado Kloos et Peter T. Breuer (éditeurs), Formal Semantics for VHDL, Springer, (DOI10.1007/978-1-4615-2237-9_5), p. 107-139
issn.org
portal.issn.org
Egon Börger, Nicu G. Fruja, Vincenzo Gervasi et Robert F. Stärk, « A high-level modular definition of the semantics of C# », Theoretical Computer Science, vol. 336, nos 2-3, , p. 235-284 (ISSN0304-3975, DOI10.1016/j.tcs.2004.11.008).
Uwe Glässer, Reinhard Gotzhein et Andreas Prinz, « The formal semantics of SDL-2000: Status and perspectives », Computer Networks, vol. 42, no 3, , p. 343-358 (ISSN1389-1286, DOI10.1016/s1389-1286(03)00247-0).
jucs.org
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis et Andreas Prinz, « Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models », Journal of Universal Computer Science, vol. 7, no 11, (lire en ligne).