Martin OderskyBooksAbstract State Machines - Theory and ApplicationsNew Approach to Formal Language Definition and Its Application to OberonProgramming in ScalaCompiler ConstructionECOOP 2004 - Object-Oriented ProgrammingProgramming in ScalaProgramming in Scala: Updated for Scala 2.12Author data: Open Library