Formal specification of highly interactive text editors : the SPY example /
Martins, M.
Chilton : Rutherford Appleton Laboratory,
1987.
Text editors (Computer programs)