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).
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)