Martin Otto: Modal and guarded characterisation theorems over finite transition systems. Ann. Pure Appl. Log. 130(1-3): 173-205 (2004)