Coglio, A. (2004) „Simple verification technique for complex Java bytecode subroutines.“, Concurrency & Computation: Practice & Experience, 16(7), S. 647-670. doi:10.1002/cpe.798.
Chicago Manual of Style 17th edition (full note)Coglio, Alessandro. „Simple Verification Technique for Complex Java Bytecode Subroutines.“. Concurrency & Computation: Practice & Experience 16, Nr. 7 (1. Juni 2004): 647-70. https://doi.org/10.1002/cpe.798.
American Psychological Association 7th editionCoglio, A. (2004). Simple verification technique for complex Java bytecode subroutines. Concurrency & Computation: Practice & Experience, 16(7), 647-670. https://doi.org/10.1002/cpe.798
Modern Language Association 9th editionCoglio, A. „Simple Verification Technique for Complex Java Bytecode Subroutines.“. Concurrency & Computation: Practice & Experience, Bd. 16, Nr. 7, Juni 2004, S. 647-70, https://doi.org/10.1002/cpe.798.
ISO-690 (author-date, Deutsch)COGLIO, Alessandro, 2004. Simple verification technique for complex Java bytecode subroutines. Concurrency & Computation: Practice & Experience. 1 Juni 2004. Bd. 16, Nr. 7, S. 647-670. DOI 10.1002/cpe.798