Congruence proofs for weak bisimulation equivalences on higher-order process calculi (1995)

by M Baldamus, T Frauenstein