S. Shiel, und 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).
M. Aiken, M. Fähndrich, C. Hawblitzel, G. Hunt, und J. Larus. MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness, Seite 1--10. New York, NY, USA, ACM, (2006)