Modal logic with descriptions - Ruzsa, Imre (Martinus Nijhoff Publishers, 1981)