Jan A. Bergstra, Mark Burgess. A static theory of promises. CoRR, abs/0810.3294, 2008. [doi]
@article{abs-0810-3294, title = {A static theory of promises}, author = {Jan A. Bergstra and Mark Burgess}, year = {2008}, url = {http://arxiv.org/abs/0810.3294}, note = {informal publication}, researchr = {https://researchr.org/publication/abs-0810-3294}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {abs/0810.3294}, }