Data Flow Anomaly Detection. - Jacek Jachner; Vinod K. Agarwal (IEEE Trans. Software Eng., 1984)