A new approach to formal language definition and its application to Oberon - Odersky, Martin (Informatik-Dissertationen ETH Zurich ;, 1989)