Yuh-Jzer Joung Scott A. Smolka A Comprehensive Study of the Complexity of Multiparty Interaction. 142-153 1992 POPL db/conf/popl/popl92.html#JoungS92