Partiality and nondeterminacy in program proofs (1998)

by J M Morris, A Bunkenburg
Venue:Formal Aspects of Computing