A New Introduction To Modal Logic by M.J. Cresswell & George Edward Hughes