Johan van Benthem, Jan van Eijck, Vera Stebletsova: Modal Logic, Transition Systems and Processes. J. Log. Comput. 4(5): 811-855 (1994)