Conceptual models in man-machine design verification - Rasmussen, Jens (RISO-M-2520, 1985)