Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner Languages: From Formal to Natural - Germany Springer 2009 ISBN: 978-3-642-01748-3 Subjects--Topical Terms: Computer ScienceLanguages: From Formal to Natural