Formality considered harmful, experiences, emerging themes, and directions on the use of formal representations in interactive systems - Shipman III, FM; Marshall, CC (Comp Supp Coop Work, 1999)