@TechReport{simmons05thesis,
 author      = {Robert J. Simmons},
 title       = {Twelf as a Unified Framework for Language Formalization and Implementation},
 institution = {Princeton University},
 year        = {2005},
 note        = {Undergraduate Senior Thesis 18679},
}