On a general definition of safety and liveness (1991)

by Rakesh Dubey