RELATING APARTNESS AND BISIMULATION. - GEUVERS, HERMAN; JACOBS, BART (Logical Methods in Computer Science (LMCS), 2021)