Proving Possibility Properties (1998)

by Leslie Lamport
Venue:Theoretical Computer Science