A theory of diagnosis from first principles [pdf]
cs.ru.nl