Jan A. Bergstra Inge Bethke Mark Burgess A process algebra based framework for promise theory http://arxiv.org/abs/0707.0744 2007 CoRR abs/0707.0744 db/journals/corr/corr0707.html#abs-0707-0744 informal publication