Arto Salomaa: mathematician, computer scientist, and teacher : A thematic biography.