David A. Garza-Salazar A. P. Wim Böhm Uniqueness and Completeness Analysis of Array Comprehensions. 193-207 1994 SAS db/conf/sas/sas94.html#Garza-SalazarB94