S. Shiel, and I. Bayley. Electronic Notes in Theoretical Computer Science, 141 (1):
35--52(2005)Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005).
G. Wagner, A. Gal, and M. Franz. PPPJ '08: Proceedings of the 6th international symposium on Principles and practice of programming in Java, page 117--126. New York, NY, USA, ACM, (2008)