Matthew Hennessy Huimin Lin Julian Rathke Unique fixpoint induction for message-passing process calculi. 241-275 2001 41 Sci. Comput. Program. 3 db/journals/scp/scp41.html#HennessyLR01 http://dx.doi.org/10.1016/S0167-6423(01)00008-9