Modal logic with descriptions / - Ruzsa, Imre. (Nijhoff,, 1981)