Advanced topics in bisimulation and coinduction - Sangiorgi, Davide (Cambridge University Press, 2012)
Puno ime 2. urednika: Johannes Josephus Martinus Matheus Rutten.