Sylvia Van Egmond Frans C. Heeman Johannes C. van Vliet INFORM: An interactive syntax-directed formulae editor. 169-182 1989 9 Journal of Systems and Software 3 http://dx.doi.org/10.1016/0164-1212(89)90037-X db/journals/jss/jss9.html#EgmondHV89