A New Introduction to Modal Logic - M.J. Cresswell; G.E. Hughes (Taylor and Francis, 1997)