Text this: Design, specification, and verification of interactive systems '97 :