@TECHREPORT{fostertr01_restrict,
AUTHOR = {Jeffrey S. Foster and Alex Aiken},
TITLE = {{Checking Programmer-Specified Non-Aliasing}},
INSTITUTION = {University of California, Berkeley},
YEAR = 2001,
NUMBER = {UCB//CSD-01-1160},
MONTH = OCT
}