Designing theory-based systems: a case study. - John B. Smith; Marcy Lansman (CHI, 1992)