NOSTRUM : constraint directed diagnosis. - Simon Nuttall (1989)