Bisimulation respecting first-order operations by M.J. Hollenberg