@Article{toplas00,
  author = 	 {Zhenyu Qian},
  title = 	 {Standard Fixpoint Iteration for
                  {Java} Bytecode Verification},
  journal = 	 {ACM Transactions on Programming Languages and Systems
                  (TOPLAS)},
  year = 	 {2000},
  volume = 	 {22},
  number = 	 {4},
  pages = 	 {638--672},
  month = 	 {July}
}