The correctness of nondeterministic programs (1970)

by Z Manna
Venue:Artificial Intelligence