A language-based approach to security (2001)

by F Schneider, G Morrisett, R Harper
Venue:In Informatics - 10 Years Back 10 Years Ahead, volume 2000 of LNCS