Proving Possibility Properties (1998)

by Leslie Lamport
Citations:3 - 0 self