The use of Formal Models in the Design of Interactive

Case Memory Systems

Andrew Mark Dearden
Submitted for the degree of Doctor of Philosophy
The University of York

The Human Computer Interaction Group,
The Department of Computer Science.

May 1995