By Dowty, David R., Karttunen, Lauri, Zwicky, Arnold M.
By Karttunen, Hannu, Kröger, Pekka, Oja, Heikki, Poutanen, Markku, Donner, Karl Johan