APA (7th ed.) Citation

Bold, A., Von Henke, F., & Goerigk, W. (2003). A Completely Verified Realistic Bootstrap Compiler. International Journal of Foundations of Computer Science, 14(4), 659. https://doi.org/10.1142/S0129054103001947

Chicago Style (17th ed.) Citation

Bold, Axel, Friedrich Von Henke, and Wolfgang Goerigk. "A Completely Verified Realistic Bootstrap Compiler." International Journal of Foundations of Computer Science 14, no. 4 (2003): 659. https://doi.org/10.1142/S0129054103001947.

MLA (9th ed.) Citation

Bold, Axel, et al. "A Completely Verified Realistic Bootstrap Compiler." International Journal of Foundations of Computer Science, vol. 14, no. 4, 2003, p. 659, https://doi.org/10.1142/S0129054103001947.