ผู้เขียน: Amsterdam) Rutten Jan (Stichting Centrum voor Wiskunde en Informatica (CWI)

Jan Rutten & Davide Sangiorgi: Advanced Topics in Bisimulation and Coinduction