Proving possibility properties (1998)

by L Lamport
Venue:Theoretical Computer Science