Types for Access Control, (2000)

by R De Nicola, G Ferrari, R Pugliese, B Venneri
Venue:Theoretical Computer Science