R.N. Taylor, L.J. Osterweil, "Anomaly Detection in Concurrent Software by Static Data Flow Analysis", IEEE Transactions on Software Engineering vol. 6 no. , p. 265-278, , 1980