Constructive tool design for formal languages : from semantics to executing models - BOKHOVEN, L. J. van (Technicshe Universiteit Eindhoven, 2002)