Language-based security (1999)

by D Kozen
Venue:In Proc. Mathematical Foundations of Computer Science