A companion to modal logic by Cresswell, M. J., Hughes, George Edward fromUniversity paperbacks 0 Type: Book
Advanced topics in bisimulation and coinduction by Sangiorgi, Davide, Rutten, Jan J. M. M. fromCambridge tracts in theoretical computer science 0 Type: Book
