S. Shiel, и 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).
R. Karmani, A. Shali, и G. Agha. PPPJ '09: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, стр. 11--20. New York, NY, USA, ACM, (2009)
H. Burchell, O. Larose, S. Kaleba, и S. Marr. Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, стр. 1--14. ACM, (октября 2023)