Constructive tool design for formal languages: from semantics to executing models - BOKHOVEN, LEONARDUS JAKOBUS (Technische Universiteit Eindhoven, 2002)