Zhenyu Qian Standard fixpoint iteration for Java bytecode verification. 638-672 2000 22 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/363911.363915 db/journals/toplas/toplas22.html#Qian00