Qian, Z. (2000). Standard Fixpoint Iteration for Java Bytecode Verification. ACM Transactions on Programming Languages & Systems, 22(4), 638. https://doi.org/10.1145/363911.363915
Παραπομπή σε μορφή Chicago (17η εκδ.)Qian, Zhenyu. "Standard Fixpoint Iteration for Java Bytecode Verification." ACM Transactions on Programming Languages & Systems 22, no. 4 (2000): 638. https://doi.org/10.1145/363911.363915.
Παραπομπή σε μορφή MLA (9th εκδ.)Qian, Zhenyu. "Standard Fixpoint Iteration for Java Bytecode Verification." ACM Transactions on Programming Languages & Systems, vol. 22, no. 4, 2000, p. 638, https://doi.org/10.1145/363911.363915.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.