Qian, Z. (2000) „Standard Fixpoint Iteration for Java Bytecode Verification.“, ACM Transactions on Programming Languages & Systems, 22(4), S. 638-671. doi:10.1145/363911.363915.
Chicago Manual of Style 17th edition (full note)Qian, Zhenyu. „Standard Fixpoint Iteration for Java Bytecode Verification.“. ACM Transactions on Programming Languages & Systems 22, Nr. 4 (1. Juli 2000): 638-71. https://doi.org/10.1145/363911.363915.
American Psychological Association 7th editionQian, Z. (2000). Standard Fixpoint Iteration for Java Bytecode Verification. ACM Transactions on Programming Languages & Systems, 22(4), 638-671. https://doi.org/10.1145/363911.363915
Modern Language Association 9th editionQian, Z. „Standard Fixpoint Iteration for Java Bytecode Verification.“. ACM Transactions on Programming Languages & Systems, Bd. 22, Nr. 4, Juli 2000, S. 638-71, https://doi.org/10.1145/363911.363915.
ISO-690 (author-date, Deutsch)QIAN, Zhenyu, 2000. Standard Fixpoint Iteration for Java Bytecode Verification. ACM Transactions on Programming Languages & Systems. 1 Juli 2000. Bd. 22, Nr. 4, S. 638-671. DOI 10.1145/363911.363915