Computability Classes for Enforcement Mechanisms (2005)

by K W Hamlen, Greg Morrisett, F B Schneider
Venue:ACM TOPLAS