Bernard Sufrin

• Formal specification of a display editor