VCt - a formal language for the specification of diagrammatic modelling techniques. - Serrano, J. Artur; Welland, Ray (Inf. Softw. Technol., 1998)