"DORA: : CAD interface to automatic diagnostics."

R. W. Allen, M. M. Ervin-Willis, Rodham E. Tulloss (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics