Hur, C.-K., Neis, G., Dreyer, D., & Vafeiadis, V.(2014). A Logical Step Forward in Parametric Bisimulations (MPI-SWS-2014-003). Saarbrücken: Max Planck Institute for Software Systems. Retrieved from http://www.mpi-sws.org/cont/tr/2014-003.pdf.