M. Odersky, и A. Moors. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, том 4 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 427--451. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2009)