Congruence proofs for weak bisimulation on higher order processes results for typed omega-order calculi - Frauenstein, Thomas; Baldamus, Michael; Glas, Rainer (Techn. Univ. Berlin, Fachbereich 13, Informatik, 1996)
Literaturverz. Bl. 31 - 33