Wedig, Robert G. "Dynamic detection of concurrency in do-loops using ordering matrices" Stanford University, Computer Systems Laboratory Report Number: CSL-TR-81-209 May 1981

Languages mentioned

• DEL {1971} Variable instruction set abstract interpreter