Fausto Spoto Preface. 1 2005 conf/bytecode/2005 Bytecode@ETAPS https://doi.org/10.1016/j.entcs.2005.02.041 db/conf/bytecode/bytecode2005.html#Spoto05