Refinement calculus, part I: Sequential nondeterministic programs (0)

by R J R Back, J von Wright
Venue:Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, volume 430 of Lecture