Computability Classes for Enforcement Mechanisms (2003)

by K W Hamlen, G Morrisett, F B Schneider