Modal logic with descriptions - Ruzsa, Imre, 1921-2008 (Akadémiai Kiadó, 1981)