ISBN 1107004977 books & textbook
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Cambridge University Press /2011-11-28 Hardcover / 340 Pages
isbn-10: 1107004977 / isbn-13: 9781107004979
