Farahangiz Arefi, Masoud T. Milani: Generating diagram editors from formal specifications. Inf. Softw. Technol. 34(3): 139-146 (1992)