Bisimulations on Planet Kripke (1999)

by J Gerbrandy