Cabeza Gras, Daniel and Hermenegildo, Manuel V. (1994). Extracting non-strict independent and-parallelism using sharing and freeness information. In: "1994 International Static Analysis Symposium", September 28-30, 1994, Namur (Belgium). ISBN 3540584854.