Write a Review

Review the An Introduction to Bisimulation and Coinduction (Hardcover)