A Programming System for Detection and Diagnosis of Machine Malfunctions. - Theodore R. Bashkow; Joan E. Friets; Allan Karson (IEEE Trans. Electron. Comput., 1963)