@TECHREPORT{fostertr01_flow,
AUTHOR = {Jeffrey S. Foster and Tachio Terauchi and Alex Aiken},
TITLE = {{Flow-Sensitive Type Qualifiers}},
INSTITUTION = {University of California, Berkeley},
YEAR = 2001,
NUMBER = {UCB//CSD-01-1162},
MONTH = NOV
}