1. M. Baldamus, T. Frauenstein, Congruence Proofs for Weak Bisimulation Equivalences on Higher-Order Process Calculi, TR95–21, 1995, http://uebb.cs.tu-berlin.de/papers/published/tr95-21-tf.html
2. M. Baldamus, J. Dingel, Modal characterization of weak bisimulation for higher-order processes, in: Proceedings of the Seventh International Joint Conference on the Theory and Practice of Software Development, TAPSOFT’97, 1997
3. Communication and Concurrency;Milner,1989
4. Communication and Mobile Systems: The π-Calculus;Milner,1999
5. M. Murakami, Code streaming: asynchronous higher order communication, in: Proc. ISAS 2001/SCI 2001, vol. XIV, 2001, pp. 332–337