Invariance and nondeterminacy (1985)

by E J Dijkstra
Venue:In In mathematical Logic and Programming Languages. PrenticeHall