Logic and bisimulation by M.J. Hollenberg