Formal Specification of Highly Interactive Text Editors: The SPY Example
F. Mário Martins

Technical Report, Rutherford Appleton Laboratory, RAL-87-093, RAL, Oxford, UK. November, 1987.