| Vuosi | Kirja | Kustantaja | Varasto |
|---|---|---|---|
| 2010 | Helsingin yliopiston tietojenkäsittelyopin laitos 1967-1990 | Helsingin yliopiston Lahden tutkimus- ja koulutuskeskus | |
| 1993 | Tietotekniikan alkuvuodet Suomessa | Suomen atk-kustannus | |
| 1989 | Johdanto tilakoneformalismin käyttöön tietoliikenneprotokollien spesifioinnissa ja analyysissä | Helsingin yliopiston Lahden tutkimus- ja koulutuskeskus | |
| 1983 | Ohjelmointikielet ja kääntäjät : semantiikka | Helsingin yliopisto, tietojenkäsittelyopin laitos | |
| 1975 | Ohjelmointikielten teorian perusteista | Helsingin yliopisto, tietojenkäsittelyopin laitos |
Helsingin yliopisto, Helsinki, IT-vetenskaper, Tietojenkäsittelyopin laitos, historia, historiikit, historiker, informationsbehandling, institutioner, laitokset, tietojenkäsittely, tietojenkäsittelytieteet, universitet, yliopistot.