Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday - Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner ((Lecture Notes in Computer Science))