American Psychological Association 6th edition

Klein, G., & Nipkow, T. (2006). A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler. ACM Transactions on Programming Languages & Systems, 28(4), 619-695. https://doi.org/10.1145/1146809.1146811

ISO-690 (author-date, English)

KLEIN, Gerwin and NIPKOW, Tobias, 2006. A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler. ACM Transactions on Programming Languages & Systems. 1 July 2006. Vol. 28, no. 4, p. 619-695. DOI 10.1145/1146809.1146811.

Modern Language Association 9th edition

Klein, G., and T. Nipkow. “A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler.”. ACM Transactions on Programming Languages & Systems, vol. 28, no. 4, July 2006, pp. 619-95, https://doi.org/10.1145/1146809.1146811.

Mohr Siebeck - Recht (Deutsch - Österreich)

Klein, Gerwin/Nipkow, Tobias: A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler., ACM Transactions on Programming Languages & Systems 2006, 619-695.

Emerald - Harvard

Klein, G. and Nipkow, T. (2006), “A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler.”, ACM Transactions on Programming Languages & Systems, Vol. 28 No. 4, pp. 619-695.

Warning: These citations may not always be 100% accurate.