- Fausto Spoto, editor, Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005. Volume 141 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005.