Programming linguistics - Gelernter, David Hillel (MIT Press, 1990)