Modal Logic. The Lewis-Modal Systems - Zeman, J. J (Clarendon Press, 1973)