Marly Roncken Rob Gerth Willem P. de Roever A Proof System for Brinch Hansen's Distributed Processes. 88-95 1981 conf/gi/1981 GI Jahrestagung db/conf/gi/gi81.html#RonckenGR81