H. Masuhara, und A. Yonezawa. International Colloquium on Partial Evaluation and Program Transformation (PE Day'99), Seite 83--102. Waseda University, Tokyo, Japan, (November 1999)
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).
T. Proebsting. Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL \textquotesingle95, ACM Press, (1995)