4

• the drawtool applications
• guidelines for design
• from specification to implementation

Additional keywords and phrases: hush framework, interactive editors, law of Demeter, formal specification in Z, abstract systems