Logic and bisimulation door M.J. Hollenberg