T. Proebsting. Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL \textquotesingle95, ACM Press, (1995)
S. Brunthaler. Electronic Notes in Theoretical Computer Science, 253 (5):
3-14(2009)Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009).