Uniqueness and Completeness Analysis of Array Comprehensions (1993)

by David Garza , Wim Bohm