Evaluating the Interfaces of Three Theorem Proving Assistants. - Nicholas A. Merriam; Michael D. Harrison (DSV-IS, 1996)

Modelling in action. - Robert E. Fields; Nicholas A. Merriam (DSV-IS, 1997)

DMVIS: Design, Modelling and Validation of Interactive Systems. - Robert E. Fields; Nicholas A. Merriam; Andrew M. Dearden (DSV-IS, 1997)

Inference and Information Resources: A Design Case Study. - Robert E. Fields; Nicholas A. Merriam (DSV-IS, 1998)