System validation via constraint modeling - Waters, Richard C. (Artificial Intelligence Laboratory <Cambridge, Mass.>: A. I. memo, 1988)