Hansen, M., H. Hüttel, and J. Kleist. “Bisimulations for Asynchronous Mobile Processes”. BRICS Report Series, vol. 3, no. 8, Jan. 1996, doi:10.7146/brics.v3i8.19971.