Clancey, W J and Jordan, B and Sachs, P and Torok, D (1993) Formal modeling for work systems design. [Conference Paper] (Unpublished)