John Hughes, John O Donnell. Expressing and Reasoning About Non-Deterministic Functional Programs. In Kei Davis, John Hughes, editors, Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, pages 308-328, Springer, 1989.
Abstract is missing.