Advanced topics in bisimulation and coinduction by Sangiorgi, Davide, Rutten, Jan J. M. M. fromCambridge tracts in theoretical computer science 0 Type: Book
