A. Udaya Shankar
Univ. of Maryland, College Park
A stepwise refinement heuristic for protocol construction
ACM Transactions on Programming Languages and Systems (TOPLAS)