Kevin Steer. Testing Data Flow Diagrams with PARLOG. In Robert A. Kowalski, Kenneth A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988 (2 Volumes). pages 96-110, MIT Press, 1988.
Abstract is missing.