Languages: From Formal to Natural - Grumberg, Orna; Kaminski, Michael; Kanade, Takeo; Katz, Shmuel; Wintner, Shuly (Springer Berlin Heidelberg, 2009)