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.
@inproceedings{HughesO89,
title = {Expressing and Reasoning About Non-Deterministic Functional Programs},
author = {John Hughes and John O Donnell},
year = {1989},
tags = {functional programming},
researchr = {https://researchr.org/publication/HughesO89},
cites = {0},
citedby = {0},
pages = {308-328},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK},
editor = {Kei Davis and John Hughes},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19609-9},
}