Programming in Scala Fifth EditionOdersky, Martin, Spoon, Lex, Venners, Bill, Sommers, Frank · First published 2021Open the Tome
Abstract State Machines - Theory and ApplicationsYuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele · First published 2003Open the Tome
New Approach to Formal Language Definition and Its Application to OberonMartin Odersky · First published 1989Open the Tome
