Formal specification of a display editor - Sufrin, Bernard (Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;, 1981)