Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday - Grumberg, Orna; Kaminski, Michael; Katz, Shmuel; Wintner, Shuly (Springer Berlin Heidelberg, 2009)