A stepwise refinement heuristic for protocol construction

A. Udaya Shankar, Simon S. Lam
1992 ACM Transactions on Programming Languages and Systems  
doi:10.1145/129393.129394 fatcat:gw3ppisl2rac5jbk6kxzokl2ua