Appendix A: References and Suggested Reading

Chapter 1: ’s Son Leena Ellonen (ed.): Suomen professorit, professorer 1640–2007 (Pro- fessors of 1640–2007). Professoriliitto/Gummerus, Jyväskylä 2008. Filosofia.fi – Portti filosofiaan (Gate to philosophy): Salomaa, Jalmari Edvard (Mikko Salmela, ed.), 2014. Helsingin Sanomat 6th December 1944. Helsingin Sanomat 6th September 1960. Kaarlo Hänninen: Kansakoulun maantieto ja kotiseutuoppi yksiopettajaisia kouluja varten (Local geography and history for one-teacher elementary schools), 4th edition. Valistus, 1929. Eino Kaila: On the Method of Philosophy – Extracts from a Statement to the Section of History and Philology at the (1930). Analytic Philosophy in Finland (Leila Haaparanta, Ilkka Niiniluoto, eds.). Rodopi B.V., New York 2003, 69–77. Kuka kukin on – Who’s Who in Finland 2003. Otava, Keuruu 2002. Reino Leimu: Pentti Antero Salomaa À Muistopuhe 10.5.1976 (Commemorative speech). Esitelmät ja pöytäkirjat, Suomalainen Tiedeakatemia (Lectures and records, Finnish Academy of Science and Letters), 1976, 59–63. Vilho Lukkarinen: Suomen lotat – Lotta Svärd -järjestön historia (Members of the women’s auxiliary services in Finland – History of the Lotta Svärd organization). Suomen Naisten Huoltosäätiö /WSOY, Porvoo 1981. Rolf Nevanlinna: Muisteltua (Memoirs). Otava, Keuruu 1976. Valtteri Niemi: Interview, 20th October 2016. Arto Salomaa: Nuoruusvuodet – Meine jungen Tage. Photo album, Ifolor 2014. Arto Salomaa: Interviews, 2nd September 2015 and 22nd October 2015. J. E. Salomaa: Eräs lapsuus ja nuoruus (A childhood and youth). WSOY, Porvoo 1954. Kaarina Salomaa: Interview, 25th October 2016.

© Springer Nature Switzerland AG 2019 277 J. Paakki, Arto Salomaa: Mathematician, Computer Scientist, and Teacher, https://doi.org/10.1007/978-3-030-16049-4 278 Appendix A: References and Suggested Reading

Chapter 2: Child and Youngster in , Finland Helsingin Sanomat 6th June 1934 and 7th June 1934. Valtteri Niemi: Interview, 20th October 2016. Arto Salomaa: Nuoruusvuodet – Meine jungen Tage. Photo album, Ifolor 2014. Arto Salomaa: Interview, 22nd October 2015. Radomir S. Stanković, Jaakko T. Astola (eds.): Reprints from the Early Days of Information Sciences – Interview with Arto Salomaa. TICSP series # 52, Tampere International Center for Signal Processing, Tampere 2009.

Chapter 3: Master and Doctor of Science Cristian S. Calude: A Dialogue on Theoretical with Professor Arto Salomaa. Bulletin of EATCS 96, 2008, 32–42. Helsingin Sanomat 15th December 1954. Helsingin Sanomat 4th June 1955. Helsingin Sanomat 13th July 1956 and 14th July 1956. Helsingin Sanomat 4th January 1959 and 5th January 1959. Helsingin Sanomat 21st March 1959 and 22nd March 1959. Heikki Lammi: Lukuteoriaa (Number theory), blog 45/14. http://www.ylasatakunta. fi/blogit/30-heikki-lammi/798-lukuteoriaa-blogi-45-14 Olli: Korsia polulta (Straws from the path). Uusi Suomi 17th July 1960, p. 2. Arto Salomaa: Nuoruusvuodet – Meine jungen Tage. Photo album, Ifolor 2014. Arto Salomaa: Interview, 16th December 2015. Kaarina Salomaa: Interview, 25th October 2016. Radomir S. Stanković, Jaakko T. Astola (eds.): Reprints from the Early Days of Information Sciences – Interview with Arto Salomaa. TICSP series # 52, Tampere International Center for Signal Processing, Tampere 2009.

Chapter 4: Master of Many-Valued Logic Helsingin Sanomat 4th February 1962. Heikki Lammi: Lukuteoriaa (Number theory), blog 45/14. http://www.ylasatakunta. fi/blogit/30-heikki-lammi/798-lukuteoriaa-blogi-45-14 Arto Salomaa: On Many-Valued Systems of Logic. Ajatus 22, 1959, 115–159. Arto Salomaa: A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set. The Journal of Symbolic Logic 25, 3, 1960, 203–208. Arto Salomaa: Some Completeness Criteria for Sets of Functions Over a Finite Domain, I. Annales Universitatis Turkuensis – Turun yliopiston julkaisuja, series A I, no. 53, Turku 1962. Arto Salomaa: Some Completeness Criteria for Sets of Functions Over a Finite Domain, II. Annales Universitatis Turkuensis – Turun yliopiston julkaisuja, series A I, no. 63, Turku 1963. Arto Salomaa: Events and Languages. People & Ideas in Theoretical Computer Science (Cristian S. Calude, ed.). Springer, Singapore 1999, 253–273. Appendix A: References and Suggested Reading 279

Arto Salomaa: Interviews, 16th December 2015 and 19th October 2017. Radomir S. Stanković, Jaakko T. Astola (eds.): Reprints from the Early Days of Information Sciences – On the Contributions of Arto Salomaa to Multiple-Valued Logic. TICSP series # 50, Tampere International Center for Signal Processing, Tampere 2009. Radomir S. Stanković, Jaakko Astola: Contributions of Arto Salomaa to Multiple- Valued Logic. Journal of Multiple-Valued Logic and Soft Computing (Special Issue Dedicated to Professor Arto Salomaa) 24, 1–4, 2015, 1–19.

Chapter 5: Prehistory of Automata and Formal Languages Noam Chomsky: On Certain Formal Properties of Grammars. Information and Control 2, 2, 1959, 137–167. : Methods for Specifying Families of Formal Languages – Past- Present-Future. In: Ronald V. Book (ed.): Theory – Perspec- tives and Open Problems. Academic Press, New York 1980, 1–22. Sheila A. Greibach: Formal Languages: Origins and Directions. Annals of the History of Computing 3, 1, 1981, 14–41. Donald E. Knuth: On the Translation of Languages from Left to Right. Information and Control 8, 6, 1965, 607–639. K. Kutti: On a Graphical Representation of the Operating Regime of Circuits. In: Edward F. Moore (ed.): Sequential Machines – Selected Papers. Addison- Wesley, Reading 1964, 228–235. (Translation from Russian, 1928) Robert McNaughton, Hisao Yamada: Regular Expressions and State Graphs for Automata. IRE Transactions on Electronic Computers EC-9, 1, 1960, 39–47. Michael O. Rabin, : Finite Automata and Their Decision Problems. IBM Journal of Research and Development 3, 2, 1959, 114–125. Arto Salomaa: Interview, 19th October 2017. Claude E. Shannon, John McCarthy (eds.): Automata Studies. Annals of Mathemat- ical Studies, number 34. Princeton University Press, Princeton 1956.

Chapter 6: Father of Formal Languages Michael A. Arbib: Book Review: Theory of Automata – Arto Salomaa, (Oxford, England: Pergamon, 1969, 263 pp). IEEE Transactions on Information Theory 16, 5, 1970, 652–653. Michael A. Arbib: Review – Theory of automata. By Arto Salomaa. Pergamon Press, Oxford, 1969. xii + 263 pp. Quarterly of Applied XXIX, 3, October 1971, 456–457. John A. Brzozowski: Review – Salomaa, Arto. Two complete axiom systems for the algebra of regular events. J. ACM 13, 1 (Jan. 1966), 158–169. Computing Reviews 7, 3, 1966, p. 264. Noam Chomsky: Three Models for the Description of Language. IRE Transactions on Information Theory IT-2, 3, 113–124. Noam Chomsky, George A. Miller: Finite State Languages. Information and Con- trol 1, 2, 1958, 91–112. 280 Appendix A: References and Suggested Reading

Noam Chomsky, Marcel-Paul Schützenberger: The Algebraic Theory of Context- Free Languages. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. North-Holland, Amsterdam 1963, 118–161. Lawrence C. Eggan: Transition Graphs and the Star-Height of Regular Events. Michigan Mathematical Journal 10, 4, 1963, 385–397. Eugene Garfield: The 100 Most-Cited Books in the CompuMath Citation Index, 1976–1980. Essays of an Information Scientist 7, 34, 1984, 264–269. http:// www.garfield.library.upenn.edu/essays/v7p264y1984.pdf Seymour Ginsburg, : Abstract Families of Languages. In: Confer- ence Record of 1967 Eighth Annual Symposium on Switching and , University of Texas. IEEE 1967, 128–139. Michael A. Harrison: Book Reviews: Theory of Automata. Arto Salomaa. Pergamon, New York, 1969. xii, 264 pp., illus. International Series of Monographs in Pure and Applied Mathematics, vol. 100. Theories of Abstract Automata. Michael A. Arbib. Prentice-Hall, Englewood Cliffs, N.J., 1969. xviii, 414 pp., illus. Prentice-Hall Series in Automatic Computation. Science 170, 3953, 2 October 1970, 55–56. Juris Hartmanis: Book Review – Formal Languages. By Arto Salomaa. Academic Press, New York 1973. xiii + 322 pp. SIAM Review 17, 1, 1975, 179–180. Helsingin Sanomat 30th April 1970. Helsingin Sanomat 27th October 1984. Wolfgang Händler: Buchbesprechung – Theory of Automata. Von A. Salomaa. Mit 25 Abb., XII, 263 S. Oxford-London-Edinburgh-New York-Toronto-Sydney- Paris-Braunschweig; Pergamon Press. 1969. Computing 9, 1, 1972, 85–86. Kirsti Kähärä: Interview, 23th October 2016. Michael O. Rabin: Probabilistic Automata. Information and Control 6, 3, 1963, 230–245. : Interview (email), 26th November 2016. Arto Salomaa: Automaattien teoriasta (On the theory of automata). Arkhimedes 2, 1965, 7–20. Arto Salomaa: Two Complete Axiom Systems for the Algebra of Regular Events. Journal of the Association for Computing Machinery 13, 1, 1966, 158–169. Arto Salomaa: On m-Adic Probabilistic Automata. Information and Control 10, 2, 1967, 215–219. Arto Salomaa: Matematiikka ja tietokone (Mathematics and the Computer). Arkhimedes 2, 1968, 5–9. Arto Salomaa: On the Index of a Context-Free Grammar and Language. Information and Control 14, 5, 1969, 474–477. Arto Salomaa: Theory of Automata. International Series of Monographs in Pure and Applied Mathematics, volume 100, Pergamon Press, Hungary 1969. Appendix A: References and Suggested Reading 281

Arto Salomaa: Review – Michael A. Arbib. Theories of abstract automata. Prentice- Hall, Englewood Cliffs, New Jersey, 1969, xiii + 412 pp. The Journal of Symbolic Logic 37, 2, 1972, 412–413. Arto Salomaa: Matrix Grammars with a Leftmost Restriction. Information and Control 20, 2, 1972, 143–149. Arto Salomaa: Formal Languages. ACM Monograph Series, Academic Press, New York 1973. Arto Salomaa: Jewels of Formal Language Theory. Computer Science Press, Potomac 1981. Arto Salomaa: Events and Languages. People & Ideas in Theoretical Computer Science (Cristian S. Calude, ed.). Springer, Singapore 1999, 253–273. Arto Salomaa: Interviews, 16th December 2015 and 19th October 2017. Arto Salomaa, Vincent Tixier: Two Complete Axiom Systems for the Extended Language of Regular Expressions. IEEE Transactions on Computers TC-17, 7, 1968, 700–701. Kai Salomaa: Interview (email), 25th October 2016. Radomir S. Stanković, Jaakko T. Astola (eds.): Reprints from the Early Days of Information Sciences – Interview with Arto Salomaa. TICSP series # 52, Tampere International Center for Signal Processing, Tampere 2009. Jean-Paul Tremblay: Review – Salomaa, Arto. Formal languages. Academic Press, New York, 1973, 322 pp. Computing Reviews 15, 2, 1974, p. 77. Paavo Turakainen: On Stochastic Languages. Information and Control 12, 4, 1968, 304–313. Derick Wood: Book Reviews: 1. A. Salomaa, “Formal languages”, New York, Academic Press (1973). 2. R. Kurki-Suonio, “A programmer’s introduction to computability and formal languages”, Princeton, N.J., Auerbach Publishers (1971). 3. A. V. Aho and J. D. Ullman, “The theory of parsing, translation and compil- ing”, Englewood Cliffs, N.J., Prentice-Hall (1972 and 1973). International Journal of Computer Mathematics,5,1–4, 1975, 157–160. Derick Wood: Review – Salomaa, Arto [Salomaa, Arto K.] Jewels of formal language theory. Computer Science Press, Rockville, Md., 1981. ix+144 pp. Mathematical Reviews (MathSciNet), MR618124, 1983.

Chapter 7: Champion of L Cristian S. Calude: A Dialogue on Theoretical Computer Science with Professor Arto Salomaa. Bulletin of EATCS 96, 2008, 32–42. Armin Cremers, Seymour Ginsburg: Context-Free Grammar Forms. Journal of Computer and System Sciences 11, 1, 1975, 86–117. Karel Culik II: On the Decidability of the Sequence Equivalence Problem for D0L-Systems. Theoretical Computer Science 3, 1, 1976, 75–84. Karel Culik II, Ivan Fris: The Decidability of the Equivalence Problem for D0L-Systems. Information and Control 35, 1, 1977, 20–39. 282 Appendix A: References and Suggested Reading

Jürgen Dassow: Book review – Grzegorz Rozenberg, Arto Salomaa: The Mathe- matical Theory of L Systems. Academic Press, New York-London-Toronto- Sydney-San Francisco 1980.352 pp. Elektronische Informationsverarbeitung und Kybernetik (EIK) 16, 7, 1980, 363–364. Peter Deussen: Review – Salomaa, A. [Salomaa, Arto K.] On sentential forms of context-free grammars. Acta Informat. 2 (1973), no. 1, 40–49. Mathematical Reviews (MathSciNet), MR0324962, 1973. Andrzej Ehrenfeucht, Grzegorz Rozenberg: The Equality of E0L Languages and Codings of 0L Languages. International Journal of Computer Mathematics 4, A, 1974, 95–104. Juhani Karhumäki: Interview, 24th October 2016. Kirsti Kähärä: Interview, 23rd October 2016. Hermann Maurer, Arto Salomaa, Derick Wood: EOL Forms. Acta Informatica 8, 1, 1977, 75–96. Hermann Maurer, Arto Salomaa, Derick Wood: On the Form Equivalence of L-Forms. Theoretical Computer Science 4, 2, 1977, 199–225. Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum: Nonterminals, Homomorphisms and Codings in Different Variations of 0L-Systems, Part II: Nondeterministic Systems. Acta Informatica 3, 4, 1974, 357–364. Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum: Nonterminals, Homomorphisms and Codings in Different Variations of 0L-Systems, Part I: Deterministic Systems. Acta Informatica 4, 1, 1974, 87–106. Gheorghe Păun: Review – Rozenberg, Grzegorz; Salomaa, Arto: The mathematical theory of L systems. Pure and Applied Mathematics, 90. Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London-Toronto, Ont., 1980. xvi + 352 pp. Mathematical Reviews, 82g:68053, 1982. Azaria Paz, Arto Salomaa: Integral Sequential Word Functions and Growth Equiv- alence of Lindenmayer Systems. Information and Control 23, 4, 1973, 313–343. Grzegorz Rozenberg: T0L Systems and Languages. Information and Control 23, 4, 1973, 357–381. Grzegorz Rozenberg: Extension of Tabled 0L-Systems and Languages. Interna- tional Journal of Computer and Information Sciences 2, 4, 1973, 311–334. Grzegorz Rozenberg: Interview (email), 26th November 2016. Grzegorz Rozenberg, Paul G. Doucet: On 0L-Languages. Information and Control 19, 4, 1971, 302–318. Grzegorz Rozenberg, Arto Salomaa: The Mathematical Theory of L Systems. Aca- demic Press, New York 1980. Arto Salomaa: Formal Languages. ACM Monograph Series, Academic Press, New York 1973. Arto Salomaa: On Exponential Growth in Lindenmayer Systems. Indagationes Mathematicae 35, 1, 1973, 23–30. Arto Salomaa: On Sentential Forms of Context-Free Grammars. Acta Informatica 2, 1973, 40–49. Arto Salomaa: On Some Decidability Problems Concerning Developmental Lan- guages. Proceedings of the Third Scandinavian Logic Symposium (Stig Kanger, Appendix A: References and Suggested Reading 283

ed.), Uppsala, Sweden, 1973. Studies in Logic and the Foundations of Mathe- matics, volume 82. North-Holland, East Germany 1975, 144–153. Arto Salomaa: Equality Sets for Homomorphisms of Free Monoids. Acta Cybernetica 4, 1, 1978, 127–139. Arto Salomaa: Events and Languages. People & Ideas in Theoretical Computer Science (Cristian S. Calude, ed.). Springer, Singapore 1999, 253–273. Arto Salomaa: Interview, 26th February 2016. Kai Salomaa: Interview (email), 25th October 2016. H. A. Schutz: Review – Salomaa, Arto. Sequential and parallel rewriting. [in Formal languages and programming (Proc. of a Seminar Organized by UAM-IBM Scientific Center, Madrid, April 23–25, 1975), R. Aguilar (Ed.), North-Holland/ American Elsevier Publ. Co., New York, 1976, 111–129.] Computing Reviews 17, 11, 1976, p. 447.

Chapter 8: President of EATCS Ute Brauer, Wilfried Brauer: Silver Jubilee of EATCS. http://www.eatcs.org/index. php/about-the-association/article/497 Cristian S. Calude: A Dialogue on Theoretical Computer Science with Professor Arto Salomaa. Bulletin of EATCS 96, 2008, 32–42. Lila Kari, Arto Salomaa: 50 EATCS Bulletins – Clippings. Bulletin of EATCS 50, 1993, 5–12. Jan van Leeuwen: The Distinguished Achievements Award – EATCS Award 2004. Bulletin of EATCS 84, 2004, 10–11. Karen A. Lemone: Review – Maurer, H. A. (Univ. of Graz, Graz, Austria); Salomaa, A. (Univ. of Turku, Turku, Finland); and Wood, D. (Univ. of Waterloo, Water- loo, Ont., ) A supernormal-form theorem for context-free grammars. J. ACM 30, 1 (Jan. 1983), 95–102. Computing Reviews 24, 11, 1983, pp. 486. Länsi-Suomi 17th July 1977. Hermann Maurer: Interview (email), 19th November 2016. Hermann A. Maurer, Arto Salomaa, Derick Wood: MSW Spaces. Information and Control 46, 3, 1980, 187–199. Hermann A. Maurer, Arto Salomaa, Derick Wood: A Supernormal-Form Theorem for Context-Free Grammars. Journal of the ACM 30, 1, 1983, 95–102. Thomas Ottmann: Minutes of the EATCS General Assembly; Tuesday, July 17, 1979 – Graz, Austria. Bulletin of EATCS 9, 1979, 3–6. Arto Salomaa: Myhill, Turku and Sauna Poetry: Recollections Arising from the EATCS Award. Bulletin of EATCS 84, 2004, 12–15. Arto Salomaa: Derick Wood in Memoriam. http://www.ae-info.org/attach/User/ Salomaa_Arto/Highlight/Derick%20Wood%20In%20Memoriam/memder.pdf Arto Salomaa: Interview, 26th February 2016.

Chapter 9: Master of Formal Power Series Paul W. Baker: Review – Salomaa, Arto [Salomaa, Arto K.]; Soittola, Matti: Automata-theoretic aspects of formal power series. Texts and Monographs in 284 Appendix A: References and Suggested Reading

Computer Science. Springer-Verlag, New York-Heidelberg, 1978. x+171 pp. Mathematical Reviews (MathSciNet), MR0483721, 1978. Ranan B. Banerji: Phrase Structure Languages, Finite Machines, and Channel Capacity. Information and Control 6, 2, 1963, 153–162. Joffroy Beauquier: Review – Kuich, Werner (A-TUWN-B); Salomaa, Arto [Salomaa, Arto K.] (SF-TURK) Semirings, automata, languages. EATCS Mono- graphs on Theoretical Computer Science, 5. Springer-Verlag, Berlin, 1986. v +374 pp. Mathematical Reviews (MathSciNet), MR817983, 1987. Noam Chomsky, Marcel-Paul Schützenberger: The Algebraic Theory of Context- Free Languages. Computer Programming and Formal Systems (P. Braffort, D. Hirschberg, eds.). Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam 1963. Karel Culik II, Jozef Gruska, Arto Salomaa: Systolic Automata for VLSI on Balanced Trees. Acta Informatica 18, 4, 1983, 335–344. Karel Culik II, Arto Salomaa: Ambiguity and Decision Problems Concerning Number Systems. Information and Control 56, 3, 1983, 139–153. Paul Cull: Book review – Kuich, Werner (Technische Univ. Wien, Vienna, Austria); and Salomaa, Arto (Univ. of Turku, Finland) Semirings, automata, languages. Springer-Verlag, Berlin, West Germany, 1986, 374 pp. [EATCS monographs on theoretical computer science; vol 5.] Computing Reviews, August 1987, 407–408. Seymour Ginsburg, Edwin H. Spanier: Finite-Turn Pushdown Automata. SIAM Journal on Control 4, 3, 1966, 429–453. Seymour Ginsburg, Edwin H. Spanier: Derivation-Bounded Languages. Journal of Computer and System Sciences 2, 3, 1968, 228–250. Sheila A. Greibach: Formal Languages: Origins and Directions. Annals of the History of Computing 3, 1, 1981, 14–41. Werner Kuich, Arto Salomaa: Semirings, Automata, Languages. EATCS Mono- graphs on Theoretical Computer Science, volume 5, Springer-Verlag, Berlin 1986. Kirsti Kähärä: Interview, 23rd October 2016. Björn Lisper: Recension – Teori för formella språk och automater –“Semirings, Automata, Languages”, Kuich, W., Salomaa, A., Springer-Verlag 1986. Industriell Datateknik 17, 1986. Arnold L. Rosenberg: A Machine Realization of the Linear Context-Free Lan- guages. Information and Control 10, 2, 1967, 175–188. Nicoletta Sabadini: Rivista – Semirings, Automata, Languages, by W. Kuich, A. Salomaa, EATCS Monographs on Theoretical Computer Science, Vol. 5, W. Brauer, G. Rozenberg, A. Salomaa Eds., Springer-Verlag, 1985, pp. 374. Sistemi e Automazione 277, 1987. Arto Salomaa: Formal Power Series and Growth Functions of Lindenmayer Sys- tems. 4th Symposium on Mathematical Foundations of Computer Science (J. Becvar, ed.), Marianske Lazne, 1975. Lecture Notes in Computer Science 32, Springer-Verlag Berlin 1975, 101–113. Appendix A: References and Suggested Reading 285

Arto Salomaa: Undecidable Problems Concerning Growth in Informationless Lindenmayer Systems. Elektronische Informationsverarbeitung und Kybernetik 12, 7, 1976, 331–335. Arto Salomaa: Events and Languages. People & Ideas in Theoretical Computer Science (Cristian S. Calude, ed.). Springer, Singapore 1999, 253–273. Arto Salomaa: Interviews, 26th February 2016, 12th May 2016, and 19th October 2017. Arto Salomaa, Matti Soittola: Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science, Springer-Verlag, New York 1978. Kai Salomaa: Interview (email), 25th October 2016. Marcel-Paul Schützenberger: On the Definition of a Family of Automata. Informa- tion and Control 4, 2–3, 1961, 245–270. Hans-Georg Stork: Review – Salomaa, Arto; Soittola, Matti: Automata-theoretic aspects of formal power series. Texts and Monographs in Computer Science. New York – Heidelberg – Berlin: Springer-Verlag. X, 171 p. (1978). Zentralblatt für Mathematik, 377, 1979, 386. S. J. Walljasper: Left-Derivation Bounded Languages. Journal of Computer and System Sciences 8, 1, 1974, 1–7.

Chapter 10: Champion of Cryptography James P. Anderson: Review – Books – Salomaa, Arto (The , Turku, Finland) Public-key cryptography. Springer-Verlag New York, 1990, 245 pp. [EATCS monographs on theoretical computer science.] Computing Reviews, February 1992, 97–98. Whitfield Diffie, Martin E. Hellman: New Directions in Cryptography. IEEE Trans- actions on Information Theory 22, 6, 1976, 644–654. Anna-Liisa Hämäläinen: Tyttö joka tahtoo kaiken (The girl who wants it all). Kodin Kuvalehti, December 1992, 22–24. Louis Kruh: Review – Public-key crypto – Salomaa, Arto. Public-Key Cryptogra- phy. Springer-Verlag, Heidelberg Germany and New York USA. 2nd enlarged edition. 1996. 271 pp. Cryptologia XXI, 2, 1997, 118–119. Valtteri Niemi: Interview, 20th October 2016. Valtteri Niemi, Ari Renvall: Efficient Voting with No Selling of Votes. Theoretical Computer Science 226, 1–2, 1999, 105–116. Hannu Nurmi, Arto Salomaa, Lila Sântean: Secret Ballot Elections in Computer Networks. Computers & Security 10, 6, 1991, 553–560. Ronald L. Rivest, Adi Shamir, Leonard Adleman: A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. Communications of the ACM 21, 2, 1978, 120–126. Arto Salomaa: Cryptography from Caesar to DES and RSA. Bulletin of EATCS 26, 1985, 101–120. Arto Salomaa: A Public-Key Cryptosystem Based on Language Theory. Computers & Security 7, 1, 1988, 83–87. 286 Appendix A: References and Suggested Reading

Arto Salomaa: The Formal Language Theory Column – Cryptography and Natural Languages. Bulletin of EATCS 35, 1988, 92–96. Arto Salomaa: Decision Problems Arising from Knapsack Transformations. Acta Cybernetica 9, 4, 1990, 419–440. Arto Salomaa: A Deterministic Algorithm for Modular Knapsack Problems. Theo- retical Computer Science 88, 1, 1991, 127–138. Arto Salomaa: Public-Key Cryptography, 2nd enlarged edition. EATCS Texts in Theoretical Computer Science, Springer-Verlag, Berlin 1996. Arto Salomaa: Interview, 12th May 2016. Arto Salomaa, Lila Sântean: Secret Selling of Secrets with Several Buyers. Bulletin of EATCS 42, 1990, 178–186. Arto Salomaa, Sheng Yu: On a Public-Key Cryptosystem Based on Iterated Morphisms and Substitutions. Theoretical Computer Science 48, 2–3, 1986, 283–296.

Chapter 11: Master of Biocomputing Leonard M. Adleman: Molecular Computation of Solutions to Combinatorial Prob- lems. Science 266, 5187, 1994, 1021–1024. Martyn Amos, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa: Topics in the Theory of DNA Computing. Theoretical Computer Science 287, 1, 2002, 3–38. Jürgen Dassow, Victor Mitrana, Arto Salomaa: Operations and Language Generat- ing Devices Suggested by the Genome Evolution. Theoretical Computer Science 270, 1–2, 2002, 701–738. Andrzej Ehrenfeucht, Grzegorz Rozenberg: Reaction Systems. Fundamenta Informaticae 75, 1–4, 2007, 263–280. Juris Hartmanis: On the Weight of Computations. Bulletin of EATCS 55, 1995, 136– 138. Natasha Jonoska: Review – Păun, G. (R-AOS); Rozenberg, G. (NL-LEID-CS); Salomaa, A. (FIN-TURK-TC) DNA computing. New computing paradigms. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag, Berlin, 1998. x+402 pp. Mathematical Reviews (MathSciNet), 2000m:68063, 2000. Lila Kari, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sheng Yu: DNA Computing, Sticker Systems, and Universality. Acta Informatica 35, 5, 1998, 401–420. Valeria Mihalache, Arto Salomaa: Lindenmayer and DNA: Watson-Crick D0L Systems. Bulletin of EATCS 62, 1997, 160–175. Valeria Mihalache, Arto Salomaa: Language-Theoretic Aspects of DNA Comple- mentarity. Theoretical Computer Science 250, 1–2, 2001, 163–178. Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa: Computing by Splicing. The- oretical Computer Science 168, 2, 1996, 321–336. Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa: DNA Computing – New Computing Paradigms. EATCS Texts in Theoretical Computer Science, Springer-Verlag, Berlin 1998. Appendix A: References and Suggested Reading 287

Gheorghe Păun, Arto Salomaa: DNA Computing Based on the Splicing Operation. Mathematica Japonica 43, 3, 1996, 607–632. Arto Salomaa: Uni-Transitional Watson-Crick D0L Systems. Theoretical Computer Science 281, 1–2, 2002, 537–553. Arto Salomaa: On State Sequences Defined by Reaction Systems. Logic and Pro- gram Semantics – Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (R. L. Constable, A. Silva, eds.). Lecture Notes in Computer Science 7230, Springer-Verlag, Berlin 2012, 271–282. Arto Salomaa: Functions and Sequences Generated by Reaction Systems. Theoret- ical Computer Science 466, 2012, 87–96. Arto Salomaa: Minimal Reaction Systems: Duration and Blips. Theoretical Com- puter Science 682, 2017, 208–216. Arto Salomaa: Interview, 17th August 2016. Arto Salomaa, Petr Sosík: Watson-Crick D0L Systems: The Power of One Transi- tion. Theoretical Computer Science 301, 1–3, 2003, 187–200.

Chapter 12: Academician, One of the Twelve Helsingin Sanomat 6th June 1994, 7th June 1994, and 8th June 1994. Olli V. Lounasmaa: Täällä ei näperrellä! Kylmäfyysikon kuumat paikat (We don’t potter about here! Hot spots of a cryogenicist). Bidrag till kännedom av Finlands natur och folk 174 (K. Müller, ed.), Suomen Tiedeseura, Helsinki 2008. Valtteri Niemi: Interview, 20th October 2016. Arto Salomaa: Interviews, 26th December 2015, 12th May 2016, and 17th August 2016. YouTube: TUCS Distinguished Lecture 23rd January 2015, Arto Salomaa. https:// www.youtube.com/watch?v¼tU1GuJsHkCw

Chapter 13: All-Round Grand Champion Cristian Calude, Juraj Hromkovič: Complexity: A Language-Theoretic Point of View. In: Grzegorz Rozenberg, Arto Salomaa (eds.): Handbook of Formal Languages – Vol. 2: Linear Modeling: Background and Application. Springer, Berlin 1997, 1–60. Sheila A. Greibach: The Hardest Context-Free Language. SIAM Journal on Com- puting 2, 4, 1973, 304–310. Sheila A. Greibach: Formal Languages: Origins and Directions. Annals of the History of Computing 3, 1, 1981, 14–41. Juris Hartmanis, John E. Hopcroft: What Makes Some Language Theory Problems Undecidable. Journal of Computer and System Sciences 4, 4, 1970, 368–376. Juris Hartmanis, Richard E. Stearns: On the Computational Complexity of Algo- rithms. Transactions of the American Mathematical Society 117, 1965, 285–306. : Automata Theory: Its Past and Future. In: Arto Salomaa, Derick Wood, Sheng Yu (eds.): A Half-Century of Automata Theory – Celebration and Inspiration. World Scientific, Singapore 2001, 37–47. 288 Appendix A: References and Suggested Reading

Lucian Ilie, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa: On Strongly Context-Free Languages. Discrete Applied Mathematics 103, 1–3, 2000, 153– 165. Lucian Ilie, Grzegorz Rozenberg, Arto Salomaa: A Characterization of Poly-Slender Context-Free Languages. Theoretical Informatics and Applications 34, 1, 2000, 77–86. Lucian Ilie, Arto Salomaa: 2-Testability and Relabelings Produce Everything. Jour- nal of Computer and System Sciences 56, 3, 1998, 253–262. Sige-Yuki Kuroda: Classes of Languages and Linear-Bounded Automata. Informa- tion and Control 7, 2, 1964, 207–223. Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa: Shuffle on Trajectories: Syntactic Constraints. Theoretical Computer Science 197, 1–2, 1998, 1–56. Alexandru Mateescu, Arto Salomaa: Formal Languages: An Introduction and a Synopsis. In: Grzegorz Rozenberg, Arto Salomaa (eds.): Handbook of Formal Languages – Vol. 1: Word, Language, Grammar. Springer, Berlin 1997, 1–39. Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu: A Sharpening of the Parikh Mapping. RAIRO – Theoretical Informatics and Applications 35, 6, 2001, 551–564. Alexandru Mateescu, Arto Salomaa, Sheng Yu: Subword Histories and Parikh Matrices. Journal of Computer and System Sciences 68, 1, 2004, 1–21. Albert R. Meyer, Larry J. Stockmeyer: The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space. 13th Annual IEEE Symposium on Switching and Automata Theory, College Park, Maryland, 1972, 125–129. Edward F. Moore: Gedanken-Experiments on Sequential Machines. In: Claude E. Shannon, John McCarthy (eds.): Automata Studies. Annals of Mathematical Studies, number 34. Princeton University Press, Princeton 1956, 129–153. Taishin Y. Nishida, Arto Salomaa: Slender 0L Languages. Theoretical Computer Science 158, 1–2, 1996, 161–176. Gheorghe Păun, Arto Salomaa: Thin and Slender Languages. Discrete Applied Mathematics 61, 3, 1995, 257–270. Ronald E. Prather: Review – Mateescu, Alexandru (R-BUCHM); Salomaa, Arto [Salomaa, Arto K.] (FIN-TURK-TC) Formal languages: an introduction and a synopsis. Handbook of formal languages, Vol. 1, 1–39, Springer, Berlin, 1997. Mathematical Reviews (MathSciNet), 98i:68159, 1998. Grzegorz Rozenberg, Arto Salomaa (eds.): Handbook of Formal Languages. Vol- ume 1: Word, Language, Grammar. Volume 2: Linear Modeling: Background and Application. Volume 3: Beyond Words. Springer-Verlag, Berlin 1997. Arto Salomaa: Subword Balance, Position Indices and Power Sums. Journal of Computer and System Sciences 76, 8, 2010, 861–871. Arto Salomaa: On Axiomatizations of General Many-Valued Propositional Calculi. Discrete Mathematics and Computer Science – In Memoriam Alexandru Mateescu (1952-2005) (G. Păun, G. Rozenberg, A. Salomaa, eds.). Editura Academiei Române, Bucureşti 2014, 259–270. Arto Salomaa: Interview, 19th October 2017. Appendix A: References and Suggested Reading 289

Arto Salomaa, Kai Salomaa, Sheng Yu: Undecidability of the State Complexity of Composed Regular Operations. 5th International Conference on Language and Automata Theory and Applications (A.-H. Dediu, S. Inenaga, C. Martín-Vide, eds.), Tarragona, 2011. Lecture Notes in Computer Science 6638, Springer- Verlag, Berlin 2011, 489–498. Arto Salomaa, Kai Salomaa, Sheng Yu: Undecidability of State Complexity. Inter- national Journal of Computer Mathematics 90, 6, 2013, 1310–1320.

Chapter 14: Champion of Sauna, Master of Music and Sports Wolfgang Abel, Jacky Salamander: Gedanken und Skizzen zur Sauna. (Zwischen Schwarzwald und Alpen) Badplätze – Seen, Sommerfrischen, Thermen. Oase Verlag, Badenweiler 2008, 289–297. Helsingin Sanomat 1st November 1980. Daniel Kähärä: Interview, 24th October 2016. Kirsti Kähärä: Interview, 23rd October 2016. Hermann Maurer: Interview (email), 19th November 2016. Valtteri Niemi: Interview, 20th October 2016. Suvi Palomäki: Interview, 21st October 2016. Grzegorz Rozenberg: Interview (email), 26th November 2016. Arto Salomaa: What Computer Scientists Should Know about Sauna. Bulletin of EATCS 15, 1981, 8–21. Arto Salomaa: Events and Languages. People & Ideas in Theoretical Computer Science (Cristian S. Calude, ed.). Springer, Singapore 1999, 253–273. Arto Salomaa: Äijän kultaiset vuodet (The golden years of äijä). Photo album, Ifolor 2013. Arto Salomaa: Interview, 17th August 2016. Kaarina Salomaa: Interview, 25th October 2016. Kai Salomaa: Interview (email), 25th October 2016. Radomir S. Stanković, Jaakko T. Astola (eds.): Reprints from the Early Days of Information Sciences – Interview with Arto Salomaa. TICSP series # 52, Tampere International Center for Signal Processing, Tampere 2009. Aimo Tietäväinen: Interview, 25th October 2016.

Chapter 15: Äijä: The Great Grandfather Wilfried Brauer, Ute Brauer: Reconsidering the Jeep Problem – Or How to Transport a Birthday Present to Salosauna. Results and Trends in Theoretical Computer Science – Colloquium in Honor of Arto Salomaa (J. Karhumäki, H. Maurer, G. Rozenberg, eds.), Graz, Austria, 1994. Lecture Notes in Computer Science 812, Springer-Verlag, Berlin 1994, 30–33. Tao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu: Decision Problems for Patterns. Journal of Computer and System Sciences 50, 1, 1995, 53–63. Daniel Kähärä: Interview, 24th October 2016. Juhani Kähärä: Interviews (email), 4th November 2016, 7th November 2016, and 9th November 2016. 290 Appendix A: References and Suggested Reading

Kirsti Kähärä: Interview, 23rd October 2016. Suvi Palomäki: Interviews, 21st October 2016 and 9th November 2016 (email). Retuperän WBK: http://www.rwbk.fi/ Arto Salomaa: Äijän kultaiset vuodet (The golden years of äijä). Photo album, Ifolor 2013. Arto Salomaa: Interview, 25th October 2016. Kaarina Salomaa: Interview, 25th October 2016. Kai Salomaa: Interviews (email), 25th October 2016 and 10th November 2016. The Liberal Party – Freedom to Choose: https://liberaalipuolue.fi/

Chapter 16: Q.E.D. Helsingin Sanomat 6th December 1980. Juha Honkala: Interview, 24th October 2016. Juhani Karhumäki: Interview, 24th October 2016. Daniel Kähärä: Interview, 24th October 2016. Juhani Kähärä: Interview (email), 4th November 2016. Kirsti Kähärä: Interview, 23rd October 2016. Hermann Maurer: Interview (email), 19th November 2016. Valtteri Niemi: Interview, 20th October 2016. Suvi Palomäki: Interview, 21st October 2016. Grzegorz Rozenberg: Interview (email), 26th November 2016. Arto Salomaa: Interview, 25th October 2016. Kaarina Salomaa Interview, 25th October 2016. Kai Salomaa: Interview (email), 25th October 2016. Tietotekniikan avantgardistit – 100 edelläkävijää (The avantgardists of information technology – 100 pioneers). Kauppalehti Optio 12, 2000, 16–29. Aimo Tietäväinen: Interview, 25th October 2016. Appendix B: PhDs Supervised by Arto Salomaa

Neil Jones (1967): Formal Languages and Rudimentary Attributes Paavo Turakainen (1968): On Probabilistic Automata and Their Generalizations Magnus Steinby (1969): On Definite Automata and Related Systems Topi Urponen (1971): On Axiom Systems for Regular Expressions and on Equations Involving Languages Andrew Szilard (1974): Algebraic Theory of 0L Systems Martti Penttonen (1974): Context-Sensitive Languages and Context-Free Derivations Sven Skyum (1974): Complexity in L Systems Matti Linna (1975): Omega-Words and Omega-Computations Matti Soittola (1976): On Stochastic and Q-Stochastic Languages Keijo Ruohonen (1976): Some Combinatorial Mappings of Words Mogens Nielsen (1976): Some Results on Context-Free Lindenmayer Systems Juhani Karhumäki (1976): Studies of Informationless L Systems Raija Leipälä (1979): Studies on Context-Free Matrix Forms Tero Harju (1979): Simulation and Representation of Automata Using Auxiliary Tape Notation Juha Honkala (1988): L Codes and Generalized Number Systems Valtteri Niemi (1989): Density of Grammatical Families Jarkko Kari (1990): Decision Problems Concerning Cellular Automata Lila Kari (1991): On Insertion and Deletion in Formal Languages Jukka Koskinen (1994): Knapsack Sets for Cryptography Ari Renvall (1994): Cryptographic Protocols and Techniques for Communication Marjo Lipponen (1996): On Primitive Solutions of the Post Correspondence Problem Cunsheng Ding (1997): Cryptographic Counter Generators Valeria Mihalache (1998): Cooperation, Communication, Control: Investigations on Grammar Systems Lucian Ilie (1998): Decision Problems on Orders of Words

© Springer Nature Switzerland AG 2019 291 J. Paakki, Arto Salomaa: Mathematician, Computer Scientist, and Teacher, https://doi.org/10.1007/978-3-030-16049-4 Appendix C: Textbooks and Handbooks by Arto Salomaa

Theory of Automata. International Series of Monographs in Pure and Applied Mathematics, Vol. 100, Pergamon Press, 1969. Formal Languages. Academic Press, 1973. (Reprinted in the series “Computer Science Classics,” Academic Press, 1987.) Theory of Automata. Kyoritsu Shuppan, 1974. (Japanese translation) Automata-Theoretic Aspects of Formal Power Series. Springer-Verlag, 1978. (With Matti Soittola) Formale Sprachen. Springer-Verlag, 1979. (German translation of Formal Languages) The Mathematical Theory of L Systems. Academic Press, 1980. (With Grzegorz Rozenberg) Jewels of Formal Language Theory. Computer Science Press, 1981. Computation and Automata. Encyclopedia of Mathematics and Its Applications, Vol. 25, Cambridge University Press, 1985. Semirings, Automata, Languages. EATCS Monographs on Theoretical Computer Science, Vol. 5, Springer-Verlag, 1986. (With Werner Kuich) Zhemtsuzhiny teorii formalnykh jazykov. Izdatelstvo “Mir,” 1986. (Russian transla- tion of Jewels of Formal Language Theory) Computation and Automata. Information and Computing 28, 1988. (Japanese translation) Introduction à l’Informatique Théorique, Calculabilité et Complexité. Armand Colin, 1990. (French translation of Computation and Automata) Public-Key Cryptography. Springer-Verlag, 1990. Public-Key Cryptography. Tokyo Denki Daigaku Shuppankyoku, 1992. (Japanese translation) Nhap Mon Tin Hoc Ly Thuyet – Tinh Toan Vacac Otomat. Nha Xvat Ban Khoa Hoc Va Ky Thuat, 1992. (Vietnamese translation of Computation and Automata) Criptografie Cu Chei Publice. Editura Militara, 1993. (Romanian translation of Public-Key Cryptography) Cornerstones of Undecidability. Prentice Hall, 1994. (With Grzegorz Rozenberg)

© Springer Nature Switzerland AG 2019 293 J. Paakki, Arto Salomaa: Mathematician, Computer Scientist, and Teacher, https://doi.org/10.1007/978-3-030-16049-4 294 Appendix C: Textbooks and Handbooks by Arto Salomaa

Chinese Remainder Theorem – Applications in Computing, Coding, Cryptography. World Scientific, 1996. (With Cunsheng Ding and Dingyi Pei) Kriptografia s otkrytym kljutsom. Izdatelstvo “Mir,” 1996. (Russian translation of Public-Key Cryptography) Public-Key Cryptography, Second, Enlarged Edition. Springer-Verlag, 1996. Handbook of Formal Languages. Springer-Verlag, 1997. (Edited with Grzegorz Rozenberg) Volume I: Word, Language, Grammar Volume II: Linear Modeling: Background and Application Volume III: Beyond Words Public-Key Cryptography. The National Defense Industry Press, 1998. (Chinese translation) DNA Computing – New Computing Paradigms. Springer-Verlag, 1998. (With Gheorghe Păun and Grzegorz Rozenberg) DNA Computing – New Computing Paradigms. Springer-Verlag, 1999. (With Gheorghe Păun and Grzegorz Rozenberg, Japanese translation) DNA Computing – New Computing Paradigms. Tsinghua University Press, 2004. (With Gheorghe Păun and Grzegorz Rozenberg, Chinese translation) DNK-Compjuter – Novaja paradigma vytsislenii. Izdatelstvo “Mir,” 2004. (With Gheorghe Păun and Grzegorz Rozenberg, Russian translation of DNA Computing – New Computing Paradigms) The Oxford Handbook of Membrane Computing. Oxford University Press, 2010. (Edited with Gheorghe Păun and Grzegorz Rozenberg) Index

A Baker, Paul, 159 Aalto, Aino, 244 Bandler, Vivica, 214 Aaltonen, Heikki, 32 Banerji, Ranan, 154 Aaltonen, Matti, 78 Bannister, Roger, 247 Aaltonen, Wäinö, 24, 214 Banting, Frederick, 85 Aanderaa, Stål, 81, 96 Bar-Hillel, Yehoshua (Westreich, Oscar), 68 Ábrahám, Samuel, 99, 100 Baron, Gerd, 161 Adleman, Leonard M. (Len), 171, 190–192, Bates (Möttönen), Kirsti, 91 196, 198, 199, 212 Bates, Ronald, 90 Aho, Alfred V., 102, 103, 105, 166 Baudouin I, 133 Ahtisaari, Martti, 210 Bauer, Friedrich, 158 Ali, Muhammad (Cassius Clay Jr.), 240 Bausch, Bruno, 8 Allardt, Erik, 206, 214 Béal, Marie-Pierre, 221 Alli, Salomaa family domestic help, 25 Beauquier, Joffroy, 162 Alomar, Roberto, 248 Benitez Pérez, Manuel (El Cordobés), 32 Amos, Martyn, 196 Bergman, Erik, 214 Anderson, James P., 184 Bernstein, Leonard, 45 Andrasiu, Mircea, 225 Berra, Lawrence Peter (Yogi), 247 Apostolico, Alberto, 221 Berstel, Jean, 155, 220 Arbib, Michael A., 94–96, 259 Biles, Simone, 251 Aristotle, 58, 59 Björling, Gösta, 234 Armstrong, Louis (Satchmo), 45, 46 Björling, Johan Jonatan (Jussi), 45, 46, 234 Ashby, W. Ross, 73 Blomstedt (Sibelius), Heidi, 236 Ashenhurst, Robert L., 98 Boasson, Luc, 220 Aulamo, Reino, 244 Böhm, Corrado, 143 Ausiello, Giorgio, 133 Book, Ronald V. (Ron), 135 Autebert, Jean-Michel, 220 Boulez, Pierre, 234 Boy, Tarzan figure, 115 Brauer, Ute, 234, 258 B Brauer, Wilfried, 135, 141, 234, 258 Babai, László, 149 Brehme, Andreas, 251 Bach, Johann Sebastian, 46, 235 Bruckner, Anton, 101, 235 Back, Ralph(-Johan), 204, 215 Brzozowski, John (Janusz), 81, 213, 231 Backus, John, 74 Bulă, 180, 181

© Springer Nature Switzerland AG 2019 295 J. Paakki, Arto Salomaa: Mathematician, Computer Scientist, and Teacher, https://doi.org/10.1007/978-3-030-16049-4 296 Index

C Diffie, Whitfield, 170–172, 182 Caesar, (Gaius) Julius, 26, 262 DiMaggio, Joe, 247 Calamai, Piero, 41 Ding, Cunsheng, 172, 186, 212, 213 Calude, Cristian, 109, 209, 213, 220, 221, Doucet, Paul, 113, 123 224, 241 Duck, Donald, 264 Câmpeanu, Cezar, 213 Duncker, Henrik, 208 Canini, Torturo, 260 Duns, John (Duns Scotus), 60 Capone, Al, 130 Carleson, Lennart, 147 Cassadó, Gaspar, 234 E Cassirer, Ernst, 8 Edgren, Ole, 233 Ceauşescu, Elena, 180 Eggan, Lawrence C., 81, 94, 106 Ceauşescu, Nicolae, 178, 180 Ehrenfeucht, Andrzej, 123, 124, 192, 203, Černý, Jan, 232 209, 221 Cheetah, Tarzan figure, 115 Ehrnrooth, Adolf, 55 Chen, Shihua, 212 Eilenberg, Samuel, 155 Cherkassky, Shura, 234 Eino, cat, 132 Choffrut, Christian, 220 Eisenhower, Dwight D. (Ike), 45 Chomsky, Noam, 70, 71, 73, 74, 77, 93, 97, Eklund, Astrid, 7 100, 106, 107, 154, 158, 159, 225 Elfving, Gustav, 49 Church, Alonzo, 38, 43, 57, 63, 64, 67 Enckelman, Peter, 251 Cinderella, 265 Engelfriet, Joost, 194, 212, 221 Clarke, A.B. (Bruce), 50, 165 Enkvist, Nils Erik, 214 Conan Doyle, Arthur, 145 Ennola, Veikko, 50, 65 Consolini, Adolfo, 244, 245 Constantinescu, Emil, 211 Cook, Stephen, 222 F Corelli, Arcangelo, 242 Faddeev, Ludvig, 214 Cremers, Armin, 125 Ferrell, William, 104 Crick, Francis, 189 Fliess, Michel, 155 Crochemore, Maxime, 221 Fournier, Pierre, 234 Crowe, Russell, 57 Fraenkel, Abraham, 63 Csermák, József, 246 Freiman, Pekka Mainio, 41 Csuhaj-Varjú, Erzébet, 213 Freudenthal, Hans, 65 Culbertson, James T., 73 Fris, Ivan, 123 Culik II, Karel, 123, 163, 164, 166, 209, 210, 212, 221, 240, 241, 271 Cull, Paul, 162 G Czibor, Zoltán, 247 Gagarin, Yuri, 54 Gale, publishing manager, 92 García Lorca, Federico, 211 D Gardberg, Bertel, 214 Dassow, Jürgen, 109, 127, 202, 212, 220, 225 Gécseg, Ferenc, 129, 221, 241 Davis, Martin D., 73, 77 Gelfond, Alexander, 65 de Bakker, Jacobus (Jako), 133, 140, 141 Giammarresi, Dora, 221 de la Chapelle, Albert, 214 Gilels, Emil, 234 de Leeuw, Karel, 73 Ginsburg, Seymour, 63, 101, 107, 125, 143, de Luca, Aldo, 213, 220 154–156, 240 de Saussure, Ferdinand, 90 Ginzburg, Abraham, 92 Dejean, Françoise, 106 Glushkov, V.M., 78 Desportes, Émile, 138 Gödel, Kurt, 38, 67, 87, 147, 149, 224 Deussen, Peter, 120 Goldwasser, Shafi, 149 Dieker, Volker, 221 Gonnet, Gaston, 167 Index 297

Goodstein, Reuben, 63 Hilbert, David, 224, 229 Gould, Glenn, 45, 46 Hiltunen, Eila, 237 Gounod, Charles, 46 Hintikka, Jaakko, 63 Granö, Johannes Gabriel (J.G.), 36 Hirvensalo, Mika, 213 Granö, Olavi, 214 Holmes, Sherlock, 145 Greibach, Sheila, 107, 224 Honkala, Juha, 117, 172, 212, 213 Gren, Gunnar, 245 Hoogeboom, Hendrik Jan, 212 Gries, David, 158 Hopcroft, John E., 93, 94, 223 Gröndahl, Kelpo, 246 Hromkovič, Juraj, 135, 213, 220, 221, 224 Grönholm, Gustaf, 3–5 Huang, Ming-Deh A., 212 Grotenfelt, Arvi(d), 6, 8 Huizinga, Johan, 16 Gruska, Jozef, 166 Hultqvist, Bengt, 214 Gyllenberg, Helge, 206 Hurme, Mauno, 244 Hyvärinen, Lasse, 64 Hyytiäinen, Toivo, 247 H Haahti, Heikki, 65 Haavikko, Paavo, 214 I Haendel, Ida, 234 Ikola, Osmo, 52 Hajdú, Péter, 214 Ilie, Lucian, 180, 212, 226, 227 Halava, Vesa, 212 Ilves (Sibelius), Katarina, 236 Halayudha, 27 Ilvessalo, Yrjö, 214 Halonen, Tarja, 215, 217 Immerman, Neil, 149 Hämäläinen, Pentti, 246 Inkeri, Kustaa, 39, 49, 50, 65, 66, 96, 207, Hammel, Mark, 221 210, 271 Hanan, Jim, 221 Innanen, Kimmo, 210 Hancart, Christophe, 221 Ivars, Risto, 44 Händler, Wolfgang, 96 Iwama, Kazuo, 134 Hannikainen, Ilmari, 234 Hänninen, Kaarlo, 2 Harju, Tero, 121, 127, 142, 210, 212, 213, 220 J Harjunpää, Toivo, 87 Jackson, Howard, 44 Harnoncourt, Nikolaus, 166 Jacob, Gérard, 155 Harrison, Michael A., 94 Jalas (Sibelius), Margareta, 236 Hart, John, 84, 90 Jämes, Mirja, 244 Hartmanis, Juris, 101, 129, 166, 191, 192, Jane, Tarzan figure, 115 221, 223 Jansson, Kurt, 32 Hashiguchi, Kosaburo, 106 Jäntere, Kaarlo, 52 Håstad, Johan, 149 Jantzen, Matthias, 221 Havel, Ivan, 138, 139 Järnefelt, Armas, 234 Havel, Václav, 138 Järvi, Timo, 207, 215 Head, Thomas (Tom), 193, 197, 221 Jauho, Pekka, 214 Heinimäki, Anu, 182, 197 Jiang, Tao, 213, 255 Heino, Raimo, 148 Johansen, Peter, 128 Heino, Viljo, 244, 245 Johansson, Thomas, 212 Helanko, Rafael, 26 Johnson, David S., 148 Heli, side persona, 259 Jokitalo, Toini, 42, 48, 130 Hellman, Martin, 170–172, 182 Jones, Neil D., 88, 98 Hellman, Olavi, 64, 65 Jonoska, Nataša, 199 Henderson, Rickey, 248 Joshi, Aravind K., 221 Henkin, Leon, 43 Junnila, Urpo, 54 Henzinger, Monika, 135 Jürgensen, Helmut, 220 Heprea, side persona, 259 Jutikkala, Eino, 214 Hietanen, Yrjö, 246 Juva, Einar W., 36, 37 298 Index

K Koivisto, Mikko, 213 Kaczynski, Theodore (Ted) Koivusalo, Timo, 237 (Unabomber), 87, 88 Kolehmainen, Hannes, 246 Kähärä (Salomaa), Kirsti, 20, 33, 51, 55, 85, 91, Kolkkala, Väinö, 1 93, 115, 129, 132, 165, 254, 256, 257, Konstantinidis, Stavros, 220 261, 262, 267, 268 Koponen, Osmo, 27 Kähärä, Daniel, 207, 212, 250, 254, 256, 257, Korhonen, Johanna, 187 261, 262, 264, 266, 268, 270 Kornerup, Peter, 128 Kähärä, Juhani, 207, 250, 256, 257, 259–262, Koskela, Essi, 261 266–268 Koskenniemi, Veikko Antero (V.A.), 36, 214 Kähärä, Matti, 250, 256, 257 Koskinen (Prins, Parmala), Amalia, 12 Kaila, Eino, 7–9, 214 Koskinen, Jukka, 172, 179 Kant, Immanuel, 9, 22 Koskinen, K.S., 29, 50 Kantola, Martti, 37 Koukkula, Hannu, 186 Kanu, Nwankwo, 251 Kozen, Dexter, 203 Karhu (Muurinen), Anna, 51, 85, 86, 129, Kreisel, Georg, 132 253, 267 Kruh, Louis, 184 Karhu, Hilda, 51 Krukow, Karl, 213 Karhu, Hilkka, 51, 54 Kudlek, Manfred, 140 Karhu, Yrjö, 51 Kuich, Beate, 258 Karhumäki, Juhani, 117, 121, 124, 127, 132, Kuich, Werner, 108, 109, 136, 155, 158, 160, 135, 139, 140, 142, 161, 180, 207, 209, 161, 212, 213, 220, 258 210, 212, 213, 220 Kurki-Suonio, Reino, 89, 100, 102, 103 Kari (Sântean), Lila, 135, 148, 164, 176, 177, Kuroda, Sige-Yuki, 72, 224 179, 180, 185, 198, 200, 212, 213, 220 Kutrib, Martin, 224 Kari, Jarkko, 148, 179, 209, 212, 213, 221 Kutti, A.K., 74 Karjalainen, Heikki, 186 Kuusela, Armi, 246 Karlgren, Hans, 271 Karp, Carol, 43 Karp, Richard M., 143 L Kasami, Tadao, 223 Lahtonen, Jyrki, 213 Kataja, Erkki, 245 Lamb, Sydney, 42 Kati, cat, 129, 132 Lampi, Retu, 260 Kaurismäki, Aki, 266 Lampila, Seppo, 100 Kekkonen, Sylvi, 37 Lamprecht, Karl, 6 Kekkonen, Urho, 36, 206 Landweber, Laura F., 212 Kerensky, Aleksander, 47 Landy, John, 247 Kerttu, kiosk matron, 265 Langefors, Börje, 132 Kettu, Katja, 91 Laozi, 237 Kiefer, Ferenc, 271 Lappalainen, Jussi T., 206 Kiljunen, Veikko, 19, 20 Larson, Per-Åke (Paul), 163, 166 Kilpi, Yrjö, 64 Lehti, Donald, 87 Kilpinen, Yrjö, 214 Lehtinen, baker, 27 King, Martin Luther (Michael), 45, 47 Lehtinen, Ilari, 138 Kivistö, Anne, 259, 268 Lehtinen, Matti, 147 Kivistö, Kalevi, 138 Lehto, Olli, 138, 147, 148, 214 Kleene, Stephen C., 63, 69, 72, 73, 105, 107 Leimu, Reino, 17, 50 Klossner, Alexander (Saku), 36 Leino, Eino, 6 Knoellinger, Carl Erik, 39 Leipälä, Raija, 137 Knuth, Donald E., 76, 104 Leiviskä, Helvi, 234 Kobrinsky, N.E., 78 Leiviskä, Juha, 214 Kohonen, Teuvo, 214 Lemone, Karen A., 146 Koivisto, Mauno, 206 Lenin (Ulyanov), Vladimir Ilyich, 143 Index 299

Lennon, Mike, 210 McCarthy, John, 44, 73 Lepistö, Timo, 100, 139, 206 McCarthy, Joseph (Joe), 39 Lewis, Philip M., 76 McCulloch, Warren S., 68, 69 Li, Bai (Bo), 186 McLuhan, Marshall, 90 Liedholm, Nils, 245 McNaughton, Robert, 43, 73, 84, 212 Lindegren, Yrjö, 245 Měch, Radomir, 221 Linden, Hilda, 4 Mehlhorn, Kurt, 135 Lindenmayer, Aristid, 111–114, 117, 123, 126, Meineche Schmidt, Erik, 132, 250 127, 258 Mendelssohn, Felix, 54, 234 Lindenmayer, Jane, 258 Menuhin, Yehudi, 45, 130, 234 Linkomies, Edwin, 8, 9 Meretoja, Atte, 17, 50 Linna, Matti, 117, 121, 130, 134 Meri, Veijo, 214 Linnaeus (von Linné), Carl, 30 Merikanto, Aarre, 246 Lipponen, Marjo, 148, 215 Messi, Lionel, 251 Lipton, Richard J., 166 Métivier, Yves, 221 Lisper, Björn, 161 Meyer, Albert, 224 Litvinov, Maxim, 12 Micali, Silvio, 149 Liu, Guangwu, 230 Mieto, Juha, 251 Locatelli, Pietro Antonio, 138 Miettinen, Jorma K., 214 Lokki, Olli, 64 Mihalache, Arto Duane, 180 Lönnrot, Elias, 30 Mihalache, Valeria, 180, 195 Lounasmaa, Inkeri, 209 Mikkola, Elisa, 182, 212 Lounasmaa, Olli, 205, 206, 209, 214 Milhaud, Darius, 47 Łukasiewicz, Jan, 58, 62 Miller, George, 106 Luukkonen, Fanni, 15 Minsky, Marvin, 73, 94 Lyndon, Roger, 43 Mitra, Sanjit K., 214 Lynn Marie, Sr., 85 Mitrana, Victor, 202 Moilanen, Tuija, 165 Moisil, Grigore, 63, 178 M Molitor, Paul, 248 MacKay, Donald M., 73 Mollberg, Rauni, 214 Mahler, Gustav, 235, 261, 274 Monien, Burkhard, 141 Mäki, Niilo, 21, 44 Monroe, Marilyn Mäki, Reijo, 256 (Norma Jeane Mortenson/Baker), 247 Maltsev, Anatoly, 65 The Moomins, 233, 264 Mannerheim, Carl Gustaf Emil, 11, 181 Moore, Edward F., 73, 232 Mannila, Heikki, 142 Moore, Gordon E., 189 Mantle, Mickey, 247 Moran, Shlomo, 149 Marcus, Solomon, 178, 180, 181, 185, 210, Mostowski, Andrzej, 63 213, 220 Mozart, Wolfgang Amadeus, 235 Martín-Vide, Carlos, 230 Mundell, Robert, 164 Mateescu, Alexandru (Sandu), 180, 209, Munro, Alice, 85 212, 213, 220, 221, 226–228, 230, Myhill, John, 42, 44, 69, 77 231, 240 Myrberg, Pekka, 36 Matiyasevich, Yuri, 213 Mattila, Kari, 256 Mattila, Markku, 213 N Maurer, Hermann, 107, 109, 125, 134, 138, Näätänen, Marjatta, 182 140, 141, 143–147, 155, 160, 161, 172, Nalle, Ti-Ti, 233 208, 209, 212, 213, 242, 243 Nash, John, 57 Max and Moritz, 264 Naur, Peter, 74, 132 Mayer, Ingeborg, 182 Nelson, Raymond J., 93 Mayoh, Brian, 128 Nerode, Anil, 69 300 Index

Nevanlinna, Frithiof, 49, 55 Păun, Gheorghe, 109, 126, 136, 179–181, 192, Nevanlinna, Rolf, 8, 147–149, 214 193, 196–198, 200, 201, 210, 212, 213, Nicklén, Nils, 244 220, 225, 226, 230, 241 Niekro, Phil, 248 Paunio, Keijo, 207, 209 Nielsen, Mogens, 97, 120, 132, 135, 142, 213 Pawlak, Zdzislaw, 241 Niemi, Valtteri, 117, 148, 172, 178, 212, 221 Paz, Azaria, 83, 117 Nieminen (Louko), Toivo, 1 Pei, Dingyi, 186 Niitemaa, Teodor Vilhelm (Viljo), 37 Pellonpää, Matti, 266 Nijholt, Anton, 220 Penttonen, Martti, 100, 122, 132, 137, 146, 212 Nikkari, Esko, 266 Perrin, Dominique, 213, 221 Nishida, Taishin, 226 Peto, Richard, 217 Nivat, Maurice, 132–136, 140, 141, 143, Petre, Ion, 181, 204, 215 155, 213 Pighizzini, Giovanni, 135, 224 Nixon, Otis, 249 Pihkala, Lauri (Tahko), 247 Nixon, Richard M., 130 Pimiä, Lauri, 49, 65, 66 Noponen, Paavo, 40, 45 Pin, Jean-Éric, 149, 220 Nordahl, Gunnar, 245 Pitts, Walter H., 68, 69 Nurmi, Hannu, 176, 178, 179, 183, 209 Pixton, Dennis, 221 Nurmi, Paavo, 142, 244–246 Poirot, Hercule, 63 Nygaard, Kristen, 128 Post, Emil, 58, 61, 68, 224 Prather, Ronald, 221 Prescott, David M., 192 O Presley, Elvis, 40, 45, 46, 165 Ockham, William of (Occam), 60 Prins (Parmala), Frans, 2, 12 Oistrakh, David, 234 Prusinkiewicz, Przemyslaw, 221 Okkonen, Onni, 214 Puccini, Giacomo, 46 Olli (Väinö Nuorteva), 50 Puskás, Ferenc, 247 Ollila, Jaakko, 260 Ottmann, Thomas, 141 Otto, cat, 129, 132 Q Outinen, Hannu, 44 Qvist, Bertil, 65 Outinen, Kati, 266

R P Raasio, Simo, 32 Paasikivi, Alli, 37 Rabin, Michael O., 69, 70, 82 Paasikivi, Juho Kusti (J.K.), 36, 246 Rackoff, Charles, 149 Pakarinen, Eero, 257, 260 Rastas, Pasi, 213 Palmén, Erik, 214 Räty, Seppo, 250 Paloheimo (Sibelius), Eva, 236 Rautavaara, Einojuhani, 211 Palomäki (Kähärä), Suvi, 207, 256–259, 262, Rautavaara, Tapio, 245, 247 264, 268 Ray, James Earl, 47 Palomäki, Joona, 257, 258, 262, 263 Reagan, Ronald, 166 Palomäki, Jussi, 259, 268 Redknapp, Harry, 251 Palomäki, Lumi, 258, 263 Redko, Volodimir, 79, 81, 94 Panula, Jorma, 130 Reindeer-Eric, 242 Parikh, Rohit, 227 Renvall, Ari, 172, 178, 212 Parviainen, Kaisa, 245 Reponen, Tapio, 215 Pascal, Blaise, 27 Restivo, Antonio, 221 Paterson, Michael (Mike), 133, 140, 141 Révész, György, 165 Patty, dog, 42, 48 Rissanen, Jorma, 87, 142 Paul, Manfred, 133 Rivest, Ronald L. (Ron), 70, 171, 190 Pauline, ASLA friend, 245 Rosenberg, Arnold, 155 Index 301

Rosenberg, Ivo, 61 Schützenberger, Marcel-Paul (Marco), Rosenquist, I.A., 5 106, 107, 134, 153–156, 158, 159, 225 Rosser, John Barkley, 38, 61, 63 Schybergson, Magnus, 6 Rotbraut-Pleyer, Barbara, 246 Scott, Dana, 69, 70 Rothemund, Paul W.K., 196 Segerstam, Leif, 237 Rousi, Arne, 206 Seppälä, Pentti, 268 Roweis, Sam, 196 Shamir, Adi, 171, 190 Rozenberg, Grzegorz (Bolgani), 109, 113–115, Shamir, Eliahu, 155 117, 120–124, 127, 134–137, 140–143, Shannon, Claude E., 44, 73, 74 146, 161, 192–198, 200, 203, 209, 212, Shapiro, Norman, 73 213, 219, 220, 224, 226, 230, 239, 241, Sheffer, Henry M., 58 243, 258, 273, 274 Sibelius (Järnefelt), Aino, 236 Rubinstein, Arthur, 45 Sibelius, Christian, 236 Ruohonen, Keijo, 117, 122, 124, 127, Sibelius, Jean, 130, 165, 235, 236 210, 213 Sibelius, Kirsti, 236 Sibelius, Linda, 236 Sibelius, Maria, 236 S Siirala, Aarne, 166 Saari, Antti, 27, 207 Siirala, Mirja, 36 Saarinen, Eero, 165 Siirala, Seppo, 138 Sabadini, Nicoletta, 161 Sikkel, Klaas, 220 Saimo, Sylvi, 246 Singh, Simon, 186 Sajaniemi, Jorma, 137 Sintzoff, Michel, 133, 141 Salomaa (Karhu), Kaarina, 20, 34, 51–53, 55, Sippu, Seppo, 137 85, 86, 91, 129, 130, 132, 165–167, 181, Siro, Paavo, 77 206, 208, 211, 234, 244, 250, 253–258, Skeleton, boy gang leader, 25 262, 267, 268, 273, 275 Skou, Jens Christian, 128 Salomaa (Prins), Aili, 12, 13, 15, 16, 22, 24, 35, Skyum, Sven, 97, 120, 131 40, 85, 86, 234, 253 Słupecki, Jerzy, 61 Salomaa (Vuorinen), Raili, 18 Sneddon, Ian N., 93 Salomaa, Jalmari (J.E.), 4–12, 15, 16, 21, 25, Snellman (Sibelius), Ruth, 236 34, 35, 51, 65, 105, 213, 257 Snellman, Johan Vilhelm (J.V.), 4, 9, 181 Salomaa, Kai, 20, 33, 55, 85, 86, 91, 93, 129, Soisalon-Soininen, Eljas, 137 132, 142, 148, 165, 167, 172, 208, 209, Soittola, Matti, 100, 108, 117, 122, 124, 158, 213, 228, 230, 237, 244, 248, 250, 159, 161 255–257, 267, 273 Solomon (Cutner), 234 Salomaa, Martti, 18 Sosík, Petr, 195, 196 Salomaa, Pentti, 7, 10, 17–18, 21, 23, 27, 28, Spanier, Edwin, 154, 155 36, 63, 233 Spengler, Oswald, 37 Salomaa, Sinikka, 18 Spirakis, Paul, 135 Salomaa, Sirkka, 7, 10, 16, 17, 21–24, 39, 85, Stackelberg, Vendla, 3, 32 87, 129, 144, 182, 233 Staiger, Ludwig, 221 Salonen, Olavi, 41 Stalin, Joseph, 234 Salsola, Olavi, 41 Stark, Marceli, 93 Sannella, Don, 135 Stearns, Richard E., 76, 101, 221, 223 Sântean, Nicolae, 213 Steinby, Magnus, 78, 96, 136, 148, 210, Savolainen, Heikki, 246 221, 255 Schabes, Yves, 221 Stern, Jacques, 224 Scheinin, Arje, 206 Stevenson, Adlai E., 45 Schiller, Friedrich, 235 Stockmeyer, Larry, 224 Schopenhauer, Arthur, 6, 9, 21, 22, 207, 208 Stolzen (Stolzenberg), Fred, 86 Schubert, Franz, 235 Stolzen, Alma, 86 Schutz, Henrik A., 120 Stork, Hans-Georg, 159 302 Index

Strawberry, Darryl, 248 Väisälä, Yrjö, 36 Strömberg, Thorvald, 246 Vala, Klaus, 65 Stubb, Alexander, 217 van Beethoven, Johann, 235 Suchet, David, 63 van Beethoven, Ludwig, 234, 235, 237 Surapipith, Vimol, 124 van Beethoven, Maria, 235 Szelepcsényi, Róbert, 149 van Leeuwen, Jan, 142 Szilard, Andrew, 88, 90, 97, 117, 156, van Wijngaarden, Adriaan, 76 213, 243 Vares, Jussi, 256 Varrichio, Stefano, 220 Vaught, Robert, 43 T Verbeek, Leo, 133 Takasu, Satoru, 240 Verdi, Giuseppe, 46 Tanskanen, Antti, 206 Vihko, Reijo, 214–217 Tao, Renji, 212 Virén, Lasse, 246, 251 Tapper, Kain, 214 Virta, plumber, 87 Tarjan, Robert, 148 Virtanen, Artturi Ilmari (A.I.), 214 Tarski (Tajtelbaum), Alfred, 42, 43, 47, 63 Virtanen, Keijo, 213 Tarzan, 114, 115, 129 Vivaldi, Antonio, 242 Teir, Harald, 242 Volkelt, Johannes, 6 Terman, Lewis, 9 von Dyck, Walther, 107 Thielemann, Christian, 234 von Habsburg, Otto, 210 Thomas, Frank, 248 von Hartmann, Eduard, 6 Thomas, Wolfgang, 221 von Karajan, Herbert, 45 Thue, Axel, 68 von Koch, Erland, 138 Tietäväinen, Aimo, 234 von Neumann, John (János), 73, 82 Timlin, Mike, 249 von Wright, Georg Henrik, 43, 49, 59, 62, 63 Tiuri, Martti, 44 Vuorisalo, Olavi, 41 Tixier, Vincent, 81 Toivonen, Yrjö, 39, 214 Trakhtenbrot, B.A., 78 W Tremblay, Jean-Paul, 101 Wagner, Richard, 234, 235 Tšukarin, Viktor, 246 Wahlbeck, Lars, 44 Turakainen, Paavo, 78, 96, 141, 210 Walljasper, S.J., 155 Turing, Alan, 67, 77, 128, 170 Wang, Suning, 256, 267 Turquette, Atwell R., 61, 62 Wang, Xuesong, 213 Turtledove, Harry, 256 Watson, James D., 189 Tuunanen, Yrjö, 208 Wayne, John, 32 Tynni, Aale, 245 Weiss, Sylvius Leopold, 138 Welzl, Emmerich (Emo), 146, 173, 183, 213 Wessman, Harri, 138 U Westermarck, Nils, 214 Ukkonen, Esko, 213 Wilfried, teddy bear, 258 Ullman, Jeffrey D., 93, 94, 103 Wilkins, Maurice, 190 Urponen, Topi, 96, 100 Winfield, Dave, 248 Uttley, Albert M., 73 Winfree, Erik, 196 Wires, Kurt, 246 Wood, Derick, 102, 107–109, 125, 143–147, V 161, 166, 167, 201, 209, 213, 230 Väänänen, Kari, 266 Wood, Mary, 146 Vähä-Eskeli, Hannes, 54 Wössner, Hans, 182, 197, 220 Väisälä, Kalle, 66 Wundt, Wilhelm, 6 Index 303

Y Z Yamada, Hisao, 73 Zadeh (Aliaskerzadeh), Lotfi,58 Yao, Andrew C.-C., 70, 149 Zalkin, Howard, 210 Young, Cyrus, 247 Zamora, Ricardo, 251 Younger, Daniel, 223 Zátopek, Emil, 246, 247 Yu, Sheng, 109, 164, 165, 173, 183, 198, 209, Zátopková, Dana, 246 213, 220, 228, 230, 240, 255 Zuse, Konrad, 67