A Completely Verified Realistic Bootstrap Compiler.Published in:International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 659, doi. 10.1142/S0129054103001947By:Bold, Axel;Von Henke, Friedrich;Goerigk, WolfgangPublication type:Article