Type Qualifiers: Lightweight Specifications to Improve Software
Quality.
Jeffrey Scott Foster.
PhD thesis, University of California, Berkeley, December 2002.
@PHDTHESIS{fosterthesis,
AUTHOR = {Jeffrey Scott Foster},
TITLE = {{Type Qualifiers: Lightweight Specifications to
Improve Software Quality}},
SCHOOL = {University of California, Berkeley},
YEAR = 2002,
MONTH = DEC
}