@TECHREPORT{terauchitr03,
AUTHOR = {Tachio Terauchi and Alex Aiken and Jeffrey S. Foster},
TITLE = {{Types for Lexically-Scoped Access Control}},
INSTITUTION = {University of California, Berkeley},
YEAR = 2003,
NUMBER = {UCB//CSD-03-1282},
MONTH = OCT
}