Computability Classes for Enforcement Mechanisms (2003)

by Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider
Venue:ACM Transactions on Programming Languages and Systems