Uniqueness and Completeness Analysis of Array Comprehensions (1994)

by David Garza , Wim Böhm