Expressing and reasoning about non-deterministic functional programs (1989)

by J Hughes, J O'Donnel
Venue:Functional Programming: Proceedings of the 1989 Glasgow Workshop