Software modelling of a QUENSH management system. - Donald Iain Renfrew (1997)