Relating total and partial correctness interpretations of non-deterministic programs (1990)

by C A Gunter
Venue:Principles of Programming Languages (POPL '90