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