OJD-, KN-og SIMULA- dokumenter

tilgjengelighet pr 2. november 2015

Innhold

Fins ved Informatikkbiblioteket 19

Fins elektronisk 21

Ikke katalogisert 22

Fins ved andre avdelinger pa UB Oslo 22

Fins ved Norsk Regnesentral 23

Informatikkbiblioteket har ikke, men ønsker 25

Ukjent tilgjengelighet 25

Fins ved Informatikkbiblioteket

[1] ACM SIGPLAN History of Programming Languages Conference. Bd. 28.HOPL 2. (BIBSYS). Association for Computing Machinery. Cambridge,Mass.: Academic Press, apr. 1993. INF.

[2] Peter Bøgh Andersen og Tone Bratteteig, red. Computers and languageat work. Research Report 126. (BIBSYS). Universitetet i Oslo, Instituttfor informatikk, 1988. INF.

[3] Stefan Arnborg. Revised Simula 67 for the Dec system 10 computer. FOAP rapport C8329-M3(E5). (BIBSYS). Forsvarets forskningsanstalt, Pla-neringsbyran, 1972, 17 bl. INF.

[4] Stefan Arnborg. Simula 67 for the Dec system 10 computer. FOA Prapport C8304-M3(E4). (BIBSYS). Forsvarets forskningsanstalt, Plane-ringsbyran, 1971, 307 s. INF.

[5] Association of SIMULA Users. Bylaws of the Association of Simula Users.(BIBSYS). Simula, [197?], 5 s. INF.

[6] Association of SIMULA users. (BIBSYS). Association of SIMULA users,1984. INF.

[7] K.E. Aubert og W. Ljunggren, red. Scandinavian Congress. 15. (BIB-SYS). 1968. INF.

1

[8] Karel Babcicky. Some more notes on SIMULA. Text handling and I/O.(BIBSYS). Norsk Regnesentral, [1977?], 19 bl. INF.

[9] Karel Babcicky og Graham Birtwistle. Class distinction in SIMULA.Some aspects of a general programming language. (BIBSYS). The Nor-wegian Computing Centre, 1970], 49 s. INF.

[10] Vic Bell og Ole-Johan Dahl. Simscript implementation. (BIBSYS). Nor-wegian Computing Center, 1963, 31 s. INF.

[11] Olav Terje Bergo og Kristen Nygaard, red. En Vurdering av styrings-og informasjonssystemet KVPOL. Forskningsrapport fra Norsk jern- ogmetallarbeiderforbunds forskningsprosjekt nr 4. (BIBSYS). Tiden norskforlag, 1974, 121 s. isbn: 82-10-00890-0. INF.

[12] Olav Terje Bergo og Kristen Nygaard. Norsk jern- og metallarbeider-forbund og forskningsressursene. Noen fakta og synspunkter. Forsknings-rapport fra Norsk jern- og metallarbeiderforbunds forskningsprosjekt 8.(BIBSYS). Norsk Regnesentral, 1973, 40 bl. INF.

[13] Graham Birtwistle. Notes on the SIMULA language. Publication S-8.(BIBSYS). Norsk Regnesentral, 1969, 72 bl. INF.

[14] Graham Birtwistle. SIMULA begin. A set of programmed examples tointroduce SIMULA. Publication S-31. (BIBSYS). Norsk Regnesentral,1970, 1 b. (flere pag.) INF.

[15] Graham Birtwistle, red. SIMULA begin. (BIBSYS). Studentlitteratur,1979, 391 s. isbn: 3-88598-018-5. INF.

[16] Gro Bjerknes mfl., red. Computers and democracy. A Scandinavian chal-lenge. (BIBSYS). Avebury, c1987, x, 434 s. isbn: 0-566-05476-0. INF.

[17] Knut Bjørlykke og Kristen Nygaard, red. Rapport fra norsk naturviten-skapsdelegasjon til Folkerepublikken Kina 1.-12. september 1980. (BIB-SYS). [Forfatterne], 1980, 64 s. INF.

[18] Dines Bjørner, C.A.R. Hoare og H. Langmaack, red. VDM and Z-formalmethods in software development. Lecture notes in computer science 428.(BIBSYS). Springer, 1990. INF.

[19] B. Breckling og Henry Islo, red. 24th conference of the ASU. Object ori-ented modelling and simulation of environmental, human and technicalsystems, 30. September - 2. October, 1998, at the Federal Cultural Cen-ter Salzau (Schleswig Holstein, Germany) : proceedings. (BIBSYS). TheAssociation of SIMULA Users, 1998, 182 s. INF.

[20] Per Brinch Hansen. �Monitors and concurrent Pascal. A personal his-tory�. I: ACM SIGPLAN History of Programming Languages Conferen-ce. Bd. 28. HOPL 2. (Ole-Johan Dahl kommenterer Brinch Hansens inn-legg BIBSYS). Association for Computing Machinery. Cambridge, Mass.:Association for Computing Machinery, apr. 1993, s. 1–35. INF.

[21] Manfred Broy og Ernst Denert, red. Software Pioneers. Contributions toSoftware Engineering. Springer, 2001.

[22] Bent Bruun-Kristensen, Ole Lehrmann-Madsen og Kristen Nygaard. BETAlanguage development. Survey report, 1. november 1976 : (revised ver-sion, september 1977). Publication / Norwegian Computing Center 559.(BIBSYS). 1977, iii, 58 bl. INF.

2

[23] Bent Bruun-Kristensen, Ole Lehrmann-Madsen og Kristen Nygaard. Betalanguage development. Survey report, 1. november 1976. DAIMI PB 65.(BIBSYS). Arhus University, Computer Science Department, 1977, 58 s.INF.

[24] Bent Bruun-Kristensen og Kristen Nygaard, red. A definition of the Betalanguage. DAIMI TR 8. (BIBSYS). Computer Science Department, Aar-hus University, 1979, 34 s. INF.

[25] Bent Bruun-Kristensen og Kristen Nygaard. Coroutine sequencing inBETA. DAIMI PB 235. (BIBSYS). Arhus University, Computer ScienceDepartment, 1987, 26 s. INF.

[26] Bent Bruun-Kristensen og Kristen Nygaard, red. Object-oriented pro-gramming in the BETA programming language. (BIBSYS). Aarhus uni-versit, 1990, 168 s. INF.

[27] Ernst Buchberger, Kristen Nygaard og Bo Goranzon, red. Artificial intel-ligence. Perspectives and implications. CompLex 11/87. (BIBSYS). Nor-wegian University Press, c1987, 157 s. isbn: 82-00-07867-1. INF.

[28] J.N. Buxton, red. Proceedings of the IFIP working conference on simu-lation programming languages. (BIBSYS). IFIP Technical Committee 2.North-Holland, 1967.

[29] J.N. Buxton, red. Simulation programming languages (Chair: Ole-JohanDahl). Proceedings of the IFIP working conference on simulation pro-gramming languages, Oslo, May 1967. (BIBSYS). North-Holland, c1968,vi, 463 s. INF.

[30] CERN school of computing. (BIBSYS). CERN, 1974. INF.

[31] Arnfinn Christensen. Eventyret om Simula. Utskrift fra nett. Om radio-programmet Kristen Nygaard — Simula i serien Verdt a vite. 2003. INF.Notat: katalogiseres og plasseres i Eske.

[32] Arnfinn Christensen, red. Kristen Nygaard — Simula. Verdt a vite. (BIB-SYS). Norsk rikskringkasting, 2002, 1 plate (CD) (26, 40 min.) INF.Medvirkende: Reiss, Helge; Hannemyr, Gisle; Holmevik, Jan Rune; Kay,Alan; Hegna, Havard. Omtalt: Sandvold, Haakon; Dahl, Ole-Johan; Ni-kitas, Jim.

[33] Ole-Johan Dahl. A comparison between the simplex and multiplex met-hods. Teknisk notat / Forsvarets forskningsinstitutt F-22. (BIBSYS). For-svarets forskningsinstitutt, 1959, 9 s. INF.

[34] Ole-Johan Dahl. �A note on monitor versions. Essay in the honour ofC.A.R. Hoare�. I: Symposium in Celebration of the work of C.A.R. Hoa-re. (BIBSYS). St. Catherine’s College, sep. 1999, s. 7. INF.

[35] Ole-Johan Dahl. �A note on monitor versions�. I: The 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare. Red. av Jim Davies,Bill Roscoe og Jim Woodcock. (BIBSYS). Palgrave, 2000, s. 91–97. INF.

[36] Ole-Johan Dahl. An approach to correctness proofs of semicoroutines.Research report 13. (BIBSYS). University of Oslo, Department of Infor-matics, 1977, 20 bl. isbn: 82-90230-00-1. INF.

3

[37] Ole-Johan Dahl. �Automatisk kodning. Et prosjekt ved Forsvarets forsk-ningsinstitutt�. I: Nordiska symposiet over anvandning av matematikma-skiner. Red. av Carl-Erik Froberg og Yngve Rollof. (BIBSYS). Matema-tikmaskinnamden, 1959, s. 135–141. INF.

[38] Ole-Johan Dahl. �Can program proving be made practical?� I: Lesfondements de la programmation. cours de la Commission des commu-nautes europeennes. (BIBSYS). Institut de recherche d’informatique etd’automatique, 1978, s. 57–114. INF.

[39] Ole-Johan Dahl. Can program proving be made practical? Research re-port 33. (BIBSYS). University of Oslo, Department of Informatics, 1978,57 bl. isbn: 82-90230-26-5. INF.

[40] Ole-Johan Dahl. Co- and contravariance in functional subtypes. Con-tribution to IFIP WG2.3, June 1994. Research report 191. (BIBSYS).University of Oslo, Department of Informatics, [1994], 7 s. isbn: 82-7368-101-7. INF.

[41] Ole-Johan Dahl. �Data access safety and storage economy in program-ming languages�. I: Object-oriented modelling and simulation. Procee-dings of the 23rd Conference of the Association of SIMULA Users (ASU).(BIBSYS). The Association of SIMULA Users, aug. 1997, s. 3–20. INF.

[42] Ole-Johan Dahl. �Decomposition and classification in programming lan-guages�. I: Linguaggi della societa e della tecnica. Saggi di cultura con-temporanea. (BIBSYS). Edizioni di Comunita, okt. 1970, s. 371–382.INF.

[43] Ole-Johan Dahl. Decomposition and classification in programming lan-guages. (BIBSYS). Edizioni di Comunita, c1970, s. 371–383. INF.

[44] Ole-Johan Dahl. Discrete event simulation languages. (BIBSYS). NorskRegnesentral, [1966?], 63 bl. INF.

[45] Ole-Johan Dahl. �Discrete event simulation languages�. I: Programminglanguages. Red. av NATO Advanced Study Institute. (BIBSYS). London:Academic Press, 1968, s. 349–395. INF.

[46] Ole-Johan Dahl. Explanations to the multiplex programme. Teknisk notat/ Forsvarets forskningsinstitutt, Matematikkseksjonen S03. (BIBSYS).Forsvarets forskningsinstitutt, 1960, 7 bl. INF.

[47] Ole-Johan Dahl. Hoare-style parallel programming. Foils for a studentcourse, IN305. Research report 192. (BIBSYS). University of Oslo, De-partment of Informatics, 1994, 1 b. (flere pag.) isbn: 82-7368-102-5. INF.

[48] Ole-Johan Dahl. Listestrukturer. Kap.7. fra kompendium ”Ikke-numeriskemetoder”. (BIBSYS). 1970, 46 s. INF.

[49] Ole-Johan Dahl. �Litt om symbolbruken i Algol�. I: Nordisk tidsskriftfor informasjonsbehandling 2 (1962). (BIBSYS), s. 7–8. INF.

[50] Ole-Johan Dahl. Logic of programming and specification. Research report84. (BIBSYS). University of Oslo, Department of Informatics, 1984, s. 48.isbn: 82-90230-83-4. INF.

[51] Ole-Johan Dahl. Maskinsprak og operasjonssystem. Forelesninger i DB2. (BIBSYS). [s.n.], 1971, 138, [33] bl. INF.

4

[52] Ole-Johan Dahl. Maskinsprak og operasjonssystem. Kompendium til DB-2 (). (BIBSYS). Universitetet i Oslo, Matematisk institutt, 1969, 48 s.INF.

[53] Ole-Johan Dahl. Monitors revisited. Research report 175. (BIBSYS). Uni-versitetet i Oslo, Institutt for informatikk, [1993?], 12 s. isbn: 82-7368-084-3. INF.

[54] Ole-Johan Dahl. �Monitors revisited�. I: A classical mind. Essays inhonour of C.A.R. Hoare. Red. av A.W. Roscoe. (BIBSYS). Prentice Hall,1994, s. 93–103. INF.

[55] Ole-Johan Dahl. Notes on a LIFO disciplined simplex algorithm. Rese-arch report 79. (BIBSYS). University of Oslo, Department of Informatics,1984, 7 bl. isbn: 82-90230-76-1. INF.

[56] Ole-Johan Dahl. Object orientation and formal techniques. (extended abs-tract). Research report 138. (BIBSYS). University of Oslo, Departmentof Informatics, 1990, 11 bl. isbn: 82-7368-044-4. INF.

[57] Ole-Johan Dahl. �Object orientation and formal techniques. (extendedabstract)�. I: VDM and Z-formal methods in software development. Red.av Dines Bjørner, C.A.R. Hoare og H. Langmaack. Lecture notes in com-puter science 428. (BIBSYS). Springer, 1990, s. 1–11. INF.

[58] Ole-Johan Dahl. Object oriented specification. Research report 108. (BIB-SYS). University of Oslo, Department of Informatics, 1987, 18 bl. isbn:82-7368-009-6. INF.

[59] Ole-Johan Dahl. �Object-oriented specification�. I: Research directionsin object-oriented programming. Red. av Bruce Shriver og Peter Wegner.(BIBSYS). MIT Press, 1987, s. 561–576. INF.

[60] Ole-Johan Dahl. �Panel: Structured programming�. I: IFIP WorkingConference on Machine oriented higher level languages. Red. av W.L. vander Poel og L.A. Maarssen. (BIBSYS). IFIP Technical Committee 2,Programming. Trondheim: North-Holland, 1974, s. 354–356.

[61] Ole-Johan Dahl. Program specification and verification techniques. Kom-pendium 42. (BIBSYS). Universitetet i Oslo, Institutt for informatikk,1988-90, 3 b. INF.

[62] Ole-Johan Dahl. Program specification and verification techniques. Kap.1 og kap. 2. Kompendium /Institutt for informatikk, Universitetet i Oslo42 [1990]. (BIBSYS). Institutt for Informatikk, Universitetet i Oslo, 1990,1 b. (flere pag.) INF.

[63] Ole-Johan Dahl. Program specification and verification techniques. Del I.Kompendium 42. (BIBSYS). Universitetet i Oslo, Institutt for informa-tikk, 1988, s. 16. INF.

[64] Ole-Johan Dahl. Program specification and verification techniques. PartII. Kompendium 42. (BIBSYS). Universitetet i Oslo, Institutt for infor-matikk, 1990, s. 143. INF.

[65] Ole-Johan Dahl. Program specification and verification techniques. PartIII. Kompendium 42. (BIBSYS). Universitetet i Oslo, Institutt for infor-matikk, 1990, s. 153. INF.

5

[66] Ole-Johan Dahl. Programming discipline. Kopi. ? INF. Notat: katalogi-seres og plasseres i Eske.

[67] Ole-Johan Dahl. �Programming discipline�. I: CERN school of compu-ting. (BIBSYS). CERN, 1974, s. 426–435. INF.

[68] Ole-Johan Dahl. �Programming languages as tools for the formulationof concepts�. I: Scandinavian Congress. Red. av K.E. Aubert og W.Ljunggren. 15. (BIBSYS). 1970, s. 18–29. INF.

[69] Ole-Johan Dahl. �Relating a simulation model to an applicative speci-fication�. I: Modelling and simulation. Red. av Miroslav Snorek, MilanSujansky og Alexander Verbraeck. (BIBSYS). Jun. 1995, s. 633–637. INF.

[70] Ole-Johan Dahl. Runtime organisasjon for Algol/Simula. Kompendium11. (BIBSYS). Institutt for informatikk, Universitetet i Oslo, 1980, 36 s.INF.

[71] Ole-Johan Dahl. SIMULA. An ALGOL based simulation language. (BIB-SYS). Norsk Regnesentral, 1966, 26 s. INF.

[72] Ole-Johan Dahl. Specification and reasoning about discrete simulationmodels. A case study. Research report 94. (BIBSYS). University of Oslo,Department of Informatics, 1985, 10 bl. isbn: 82-90230-93-1. INF.

[73] Ole-Johan Dahl. Stochastiske simuleringsmodeller. Kompendium / Insti-tutt for informatikk, Universitetet i Oslo Nr. 13. (BIBSYS). Institutt forinformatikk, Universitetet i Oslo, [1980?], 36 bl. INF.

[74] Ole-Johan Dahl. �Strictness control in term rewriting�. I: Software con-struction : foundation and application. Red. av Hans Langmaack, ErichNeuhold og Manfred Paul. Dagstuhl-seminar-report 29. (BIBSYS). Jan.1992, s. 14–15. INF.

[75] Ole-Johan Dahl. Syntaks og semantikk i programmeringssprak. (BIB-SYS). Studentlitteratur, 1972, 103 s. isbn: 91-44-07111-6. INF.

[76] Ole-Johan Dahl. �The birth of object-orientation. The Simula langua-ges�. I: From object-orientation to formal methods. Essays in memoryof Ole-Johan Dahl. Red. av Olaf Owe, Stein Krogdahl og Tom Lyche.(BIBSYS). Springer, 2004, s. 15–25. isbn: 3-540-21366-x. INF.

[77] Ole-Johan Dahl. �The Roots of Object Orientation. The Simula Langua-ge�. I: Software Pioneers. Contributions to Software Engineering. Red.av Manfred Broy og Ernst Denert. Springer, 2001, s. 78–90.

[78] Ole-Johan Dahl. �The SIMULA language�. I: Det femte Nordiska Sym-posiet over Anvandning av Matematikmaskiner. Foredragsutgava. Red.av Carl-Erik Froberg. Del 1. (BIBSYS). Stockholm: Svenska Samfundetfor Informationsbehandling, aug. [1965], s. 88–91. INF.

[79] Ole-Johan Dahl. Time sequences as a tool for describing program beha-viour. Research report 48. (BIBSYS). 1979, 17 bl. isbn: 82-90230-43-5.INF.

[80] Ole-Johan Dahl. �Value types and object classes�. I: Simula 25 years.Jubileumskonferanse i Sophus Lies auditorium. (BIBSYS). Universiteteti Oslo : Institutt for informatikk. Informatics library, jun. 1992, s. 1 DVD.INF.

6

[81] Ole-Johan Dahl. Value types and object classes. Talk presented at the 25years Simula 67 Anniversary Conferences, Nordwijkerhout 11-12 June,1992 and Oslo 22 June. Research report 170. (BIBSYS). University ofOslo, Department of Informatics, 1992, 13, [8] bl. isbn: 82-7368-079-7.INF.

[82] Ole-Johan Dahl. Verifiable programming. Prentice Hall international se-ries in computer science. (BIBSYS). Prentice Hall, 1992, IX, 269 s. isbn:0-13-951062-1. INF.

[83] Ole-Johan Dahl og Dag Belsnes. Algoritmer og datastrukturer. (BIBSYS).Studentlitteratur, 1973, 170 s. isbn: 91-44-06991-x. INF.

[84] Ole-Johan Dahl, Edsger W. Dijkstra og C.A.R. Hoare. Structured pro-gramming. (BIBSYS). Academic Press, 1972, VIII, 220 s. isbn: 0-12-200556-2. INF.

[85] Ole-Johan Dahl, Edsger W. Dijkstra og C.A.R. Hoare. Strukturalt pro-gramozas. (BIBSYS). M#duszaki Konyvkiado, 1978, 203 s. isbn: 963-10-2265-x. INF.

[86] Ole-Johan Dahl, Edsger W. Dijkstra og C.A.R. Hoare. Strukturnoe pro-grammirovanie. (BIBSYS). Izdatel’stvo mir, 1975, 247 s. INF.

[87] Ole-Johan Dahl og Jan V. Garwick. Programmer’s handbook for the Fer-ranti Mercury Computer Frederic at the Norwegian Defense ResearchEstablishment. (BIBSYS). Norwegian Defence Research Establishment,1958, 96 s. INF.

[88] Ole-Johan Dahl og Bjørn Kristoffersen. On introducing higher order func-tions in ABEL. Research report 210. (BIBSYS). University of Oslo, De-partment of Informatics, 1995, s. 18. isbn: 82-7368-123-8. INF.

[89] Ole-Johan Dahl, Dag F. Langmyhr og Olaf Owe. Preliminary report onthe specification and programming language ABEL. Research report 106.(BIBSYS). University of Oslo, Department of Informatics, 1986, 86 s.isbn: 82-7368-006-1. INF.

[90] Ole-Johan Dahl og Bjørn Myhrhaug. SIMULA 67. Common base imple-mentation guide. (BIBSYS). Norwegian Computing Center, 1967, 148 bl.INF.

[91] Ole-Johan Dahl og Bjørn Myhrhaug. SIMULA implementation guide.Publication S-47. (BIBSYS). Norsk Regnesentral, c1973, 146 s. INF.

[92] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common baselanguage. Publication S-22. (BIBSYS). Norsk Regnesentral, 1970, 145 s.eINF.

[93] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common baselanguage. Publication S-22. (BIBSYS). Norsk Regnesentral, 1970, 145 s.INF.

[94] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common baselanguage. Report 725. (BIBSYS). Norwegian Computing Center, 1982,127 s. isbn: 82-539-0206-9. INF.

[95] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common baselanguage. Report 743. (BIBSYS). Norwegian Computing Center, 1984,s. 172. isbn: 82-539-0225-5. INF.

7

[96] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. SIMULA. Com-mon base langauge. Publication S-2 (2nd rev.ed). (BIBSYS). Norsk Regne-sentral, c1970, 141 s. INF.

[97] Ole-Johan Dahl og Kristen Nygaard. Basic concepts of SIMULA. An AL-GOL based simulation language. (BIBSYS). Norsk Regnesentral, [1965?],17 s. INF.

[98] Ole-Johan Dahl og Kristen Nygaard. �Basic concepts of Simula. An Algolbased simulation language�. I: Digital simulation in operational research.A conference under the aegis of the Scientific Affairs of NATO. Red. avS. H. Hollingdale. (BIBSYS). London: English Universities Press, sep.1967, s. 116–124. INF.

[99] Ole-Johan Dahl og Kristen Nygaard. Class and subclass declarations.(BIBSYS). Norsk Regnesentral, 1967, 17 bl. INF. Gave fra UBBRB, maakses.

[100] Ole-Johan Dahl og Kristen Nygaard. �Class and subclass declarations�.I: Simula 67. Pre-definition papers. (BIBSYS). Forfatterne, 1967, 17 s.INF.

[101] Ole-Johan Dahl og Kristen Nygaard. �Class and subclass declarations�.I: Proceedings of the IFIP working conference on simulation programminglanguages. Red. av J.N. Buxton. (BIBSYS). IFIP Technical Committee2. North-Holland, 1967, s. 158–174.

[102] Ole-Johan Dahl og Kristen Nygaard. �Class and subclass declarations�.I: Software Pioneers. Contributions to Software Engineering. Red. avManfred Broy og Ernst Denert. (BIBSYS). Springer, 2002, s. 91–107.Opptrykk.

[103] Ole-Johan Dahl og Kristen Nygaard. �Common base proposal�. I: Si-mula 67. Pre-definition papers. (BIBSYS). Forfatterne, 1967, 10 s. INF.

[104] Ole-Johan Dahl og Kristen Nygaard. �Proposals for consideration�. I:Simula 67. Pre-definition papers. (BIBSYS). Forfatterne, 1967, 10 s. INF.

[105] Ole-Johan Dahl og Kristen Nygaard. Proposals for consideration by theSIMULA 67 Common Base Conference, June 1967. (BIBSYS). [Forfat-terne], 1967, 12 s. INF.

[106] Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for program-ming and description of discrete event systems : introduction and user’smanual. (BIBSYS). Norsk Regnesentral, 1965, 103 s. INF.

[107] Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for program-ming and description of discrete event systems : introduction and user’smanual. (BIBSYS). Norwegian Computing Center, 1967, iii, 124 s. INF.

[108] Ole-Johan Dahl og Kristen Nygaard. �SIMULA. A language for descri-bing discrete event systems�. I: IFIP Working Conference on Machineoriented higher level languages. Red. av W.L. van der Poel og L.A. Maars-sen. (BIBSYS). IFIP Technical Committee 2, Programming. Trondheim:North-Holland, 1974, s. 554–555.

[109] Ole-Johan Dahl og Kristen Nygaard. SIMULA 67. Common base defi-nition. (BIBSYS). Norwegian Computing Center, 1967, 31, [3] bl. INF.

8

[110] Ole-Johan Dahl og Kristen Nygaard. SIMULA 67. Basic information.Publication S-3. (BIBSYS). Norwegian Computing Center, 1968, 12 bl.INF. Gave fra UBBRB, ma akses.

[111] Ole-Johan Dahl og Kristen Nygaard. Simula 67. Pre-definition papers.(BIBSYS). Forfatterne, 1967, 1 b. (flere pag.) INF.

[112] Ole-Johan Dahl og Kristen Nygaard. The SIMULA project. Technicalprogress report, 1. July 1964. (BIBSYS). Norsk Regnesentral, 1964, 7 bl.INF.

[113] Ole-Johan Dahl, Kristen Nygaard og Bjørn Myhrhaug. SIMULA 67.Common base language. Publication S-2. (BIBSYS). Norsk Regnesentral,1968, 141 s., 4 bl. INF.

[114] Ole-Johan Dahl, Kristen Nygaard og Bjørn Myrhaug. SIMULA. SIMU-LA tracing system. (BIBSYS). Norsk Regnesentral, [1967?], 15 s., [4] bl.INF.

[115] Ole-Johan Dahl og Olaf Owe. A presentation of the specification andverification project ”ABEL”. Research report 90. (BIBSYS). Universityof Oslo, Department of Informatics, 1984, 9 bl. isbn: 82-90230-89-3. INF.

[116] Ole-Johan Dahl og Olaf Owe. Formal development with ABEL. Researchreport 159. (BIBSYS). Department of Informatics, University of Oslo,1991, 43 bl. isbn: 82-7368-066-5. INF.

[117] Ole-Johan Dahl og Olaf Owe. �Formal development with ABEL�. I:VDM ’91 : formal software development methods. Red. av S. Prehn ogW. J. Toetene. Lecture notes in computer science 552. (BIBSYS). 1991,s. 320–362. INF.

[118] Ole-Johan Dahl og Olaf Owe. Formal methods and the RM-ODP. Rese-arch report 261. (BIBSYS). University of Oslo, Department of Informa-tics, 1998, 17 s. isbn: 82-7368-192-0. INF.

[119] Ole-Johan Dahl og Olaf Owe. Generator induction in order sorted alge-bras. Research report 122. (BIBSYS). University of Oslo, Department ofInformatics, 1989, 17 bl. isbn: 82-7368-027-4. INF.

[120] Ole-Johan Dahl og Olaf Owe. On the use of subtypes in ABEL. Researchreport 206. (BIBSYS). University of Oslo, Department of Informatics,1995, s. 20. isbn: 82-7368-117-3. INF.

[121] Ole-Johan Dahl og Olaf Owe. On the use of subtypes in ABEL. Researchreport 206. (BIBSYS). University of Oslo, Department of Informatics,1996, s. 20. INF.

[122] Ole-Johan Dahl, Olaf Owe og Tore Jahn Bastiansen. Subtyping and con-structive specification. Research report 228. (BIBSYS). University of Oslo,Department of Informatics, 1996, 38 s. isbn: 82-7368-142-4. INF.

[123] Ole-Johan Dahl, Olaf Owe og Tore Jahn Bastiansen. �Subtyping andconstructive specification�. I: Nordic journal of computing 5.1 (1998).(BIBSYS), s. 19–49. INF.

[124] Datamaskiner, systemer og sprak. Del II. Publikasjon 415. (BIBSYS).Norsk Regnesentral, 1973, 216 bl. INF.

9

[125] Datamaskiner, systemer og sprak. 2. (BIBSYS). 1974, 264 s. isbn: 82-10-00888-9. INF.

[126] Jim Davies, Bill Roscoe og Jim Woodcock, red. The 1999 Oxford-MicrosoftSymposium in honour of Sir Antony Hoare. (BIBSYS). Palgrave, 2000.INF.

[127] Kjartan Eide og Knut Elgsaas. Simulering av nytt stalstøperi ved Raufossammunisjonsfabrikker a/s. Publication S-20. (BIBSYS). Norsk Regne-sentral, 1970. INF. Gave fra UBBRB, ma akses.

[128] Knut Elgsaas. A short introduction to simulation and Simula. PublicationS-32. (BIBSYS). Norsk Regnesentral, 1970, 46 bl. INF.

[129] Jan Evensmo. Planning the layout, equipment manning and operationsof a warehouse. Publication S-21. (BIBSYS). Norsk Regnesentral, 1970,13 s. INF. Gave fra UBBRB, ma akses.

[130] Hans Faye-Schjøll og Oddvar Hesjedal. SIMULA for IN-105. Kompen-dium / Institutt for informatikk, Universitetet i Oslo Nr. 1. (BIBSYS).Institutt for informatikk, Universitetet i Oslo, 1977, 40 bl. INF.

[131] Carl-Erik Froberg, red. Det femte Nordiska Symposiet over Anvandningav Matematikmaskiner. Foredragsutgava. (BIBSYS). Stockholm: SvenskaSamfundet for Informationsbehandling, aug. 1964. INF.

[132] Carl-Erik Froberg og Yngve Rollof, red. Nordiska symposiet over anvand-ning av matematikmaskiner. (BIBSYS). Matematikmaskinnamden, 1959.INF.

[133] Jan V. Garwick og Kristen Nygaard. Operasjonsanalyse. Norsk luftmi-litært tidsskrift 6(1955). (BIBSYS). Luftforsvarets offisersforening, 1955,s. 41–53, 77–82, 100. INF.

[134] Stein Gjessing. The syntax and the semantics of Slang. A simple, S-codebased language for Mach-S. Report 710. (BIBSYS). Norsk Regnesentral,1982, 21 s. isbn: 82-539-0189-5. INF.

[135] Stein Gjessing og Kristen Nygaard, red. ECOOP ’88 : proceedings of theEuropean Conference on Object-Oriented Programming, Oslo, Norway,August 15-17, 1988 ; S. Gjessing, K. Nygaard (eds.) (BIBSYS). Springer,cop. 1988, VI, 410 s. isbn: 0-387-50053-7. INF.

[136] Bjørn Egil Hansen. Utforming av en SIMULA-editor som en del av en in-tegrert programmeringsomgivelse. (Hovedoppgave BIBSYS). [B. E. Han-sen, 1989, 25 s. INF.

[137] Ole Hanseth. Mach-S benchmarks. The emergence of a true Simula machi-ne. [Report] 740. (BIBSYS). Norsk Regnesentral, 1983, 18 s. isbn: 82-539-0222-0. INF.

[138] Magne Haveraaen, Olaf Owe og Ole-Johan Dahl, red. Recent trends indata type specification. 11th Workshop on Specification of Abstract DataTypes joint with the 8th COMPASS Workshop, Oslo, Norway, September19-23, 1995 : selected papers. (BIBSYS). Springer, cop. 1996, VIII, 550s. isbn: 3-540-61629-2. INF.

[139] Havard Hegna. SIMAED. SIMULA I on CTSS – A brief description ofa SIMULA-like language operating under AED. Tekn. rapp. MIT, 1969,37 s. INF. Notat: katalogiseres og plasseres i Eske.

10

[140] Havard Hegna. SIMULA for databaser. (BIBSYS). Norsk Regnesentral,1972, 26 s. INF.

[141] Havard Hegna. The use of a high-level language for system programmingin the MULTICS project. Tekn. rapp. MIT, 1968, 29 s. INF. Notat: ka-talogiseres og plasseres i Eske.

[142] Havard Hegna, Ole Johan Lund og Kristen Nygaard. User’s experiencewith the Simula langauge. Publikasjon 106. (BIBSYS). Norsk Regnesen-tral, 1968, 28 bl. INF.

[143] Egil Heistad. CADSIM - kombinert simulering av diskrete og kontinuer-lige systemer. FFI notat 80/9001. (BIBSYS). Forsvarets forskningsinsti-tutt, 1980, 20 s. INF.

[144] P.R. Hills. An introduction to simulation using SIMULA. PublikasjonS-55. (BIBSYS). Norwegian Computing Center, 1973. INF.

[145] Erik Holbæk-Hanssen, Petter Handlykken og Kristen Nygaard. Systemdescription and the DELTA language. Publikasjon 523. (BIBSYS). NorskRegnesentral, 1975, XV, 497 s. INF.

[146] S. H. Hollingdale, red. Digital simulation in operational research. A con-ference under the aegis of the Scientific Affairs of NATO. (BIBSYS).London: English Universities Press, sep. 1967. INF.

[147] Jan Rune Holmevik. Educating the machine. A study in the history ofcomputing and the construction of the SIMULA programming language.STS rapport 22. (BIBSYS). Senter for teknologi og samfunn, 1994. INF.

[148] Innføring. 1. (BIBSYS). [1974], VI, 225 s. isbn: 82-10-00887-0. INF.

[149] Morten Irgens, Anne Salvesen og Arne Wang. Primula: interpret. Om in-tegrering av Prolog og Simula og skriving av et kjøretidssystem for Prolog-delen av integrasjonen Primula : en rapport bygget pa Salvesen og Wang:Primula, an integration of Prolog and Simula. (Hovedoppgave BIBSYSOgsa utgitt av Norsk regnesentral som rapport nr. 815). [M. Irgens], 1988,viii, 165 s. INF.

[150] Peter Jensen, red. Definition of S-code. [Report] 672. (BIBSYS). NorskRegnesentral, 1980, 105 s. isbn: 82-539-0146-1. INF.

[151] Peter Jensen og Kristen Nygaard. The BETA project. Publication 558.(BIBSYS). Norsk Regnesentral, 1976, 12 bl. isbn: 82-539-0065-1. INF.

[152] Sverre Johansen. Et portabelt Simula-system bygget pa C. (HovedoppgaveBIBSYS). [S. Johansen], 1987, 189 s. INF.

[153] Arne Jonassen og Ole-Johan Dahl. Analysis of an algorithm for priorityqueue administration. Research report in informatics 3. (BIBSYS). Uni-versity of Oslo, Department of Mathematics, 1975, 68 bl. isbn: 82-553-0203-4. INF.

[154] Wayne A. Kalenich, red. Proceedings of the IFIP Congress. Bd. 2. (BIB-SYS). International Federation for Information Processing. Spartan Books,1965.

[155] Alan Kay. How Simula hit me on the head, and how I have never beenthe same since. 1. ( BIBSYS). 1992, s. 1 DVD. INF.

11

[156] Bjørn Kirkerud. Object-oriented programming with SIMULA. Internatio-nal computer science series. (BIBSYS). Addison-Wesley, 1989, XIII, 515s. isbn: 0-201-17574-6. INF.

[157] Bjørn Kirkerud. SIMBAS. A simple database system. (BIBSYS). NorskRegnesentral, [1975?], 16 s. INF.

[158] Bjørn Kirkerud. Systematic, object-oriented programming using SIMU-LA. Opptrykk. Sep. 1986. INF. Notat: katalogiseres og plasseres i Eske.

[159] Bjørn Kirkerud. Windowtools. Verktøy for a lage grafiske brukergrense-snitt. (BIBSYS). B. Kirkerud, 1994, 1 b. (flere pag.) INF.

[160] Per Martin Kjeldaas og Ole-Johan Dahl. The KCIN Algol 60 implementa-tion. Object program and central run system. Intern rapport / Forsvaretsforskningsinstitutt S29. (BIBSYS). Forsvarets forskningsinstitutt, 1966,63 bl. INF.

[161] Stein Krogdahl. Om bruk av SIMULA-objekter til oppbevaring av datapa masselager. (Hovedoppgave BIBSYS). S. Krogdahl, 1973, 1 b. (flerepag.) INF.

[162] Sigurd Kubosch. The EXEC8 SIMULA system. A description of the SI-MULA system for the UNIVAC 1100 series computers. Publication S-67.(Hovedoppgave BIBSYS). Norsk Regnesentral, 1974, 177 s. INF.

[163] Morten Kyng. Implementation of the Delta language interrupt conceptwithin the quasiparallel environment of Simula. DAIMI PB 58. (BIB-SYS). Datalogisk afdeling, Aarhus Universitet, 1976, 39 s. INF.

[164] Jens Johan Kaasbøll og Kristen Nygaard, red. ForskningsprogrammetSYDPOL. System development environment and profession oriented lan-guages. Nordforsks publikationsserie 1983:2. (BIBSYS). Nordforsk, 1983,27 s. INF.

[165] Hans Langmaack, Erich Neuhold og Manfred Paul, red. Software con-struction : foundation and application. Dagstuhl-seminar-report 29. (BIB-SYS). Jan. 1992. INF.

[166] Kare Lauritzen og Ole-Johan Dahl. MAC textbook. Teknisk notat / For-svarets forskningsinstitutt, Matematikkseksjonen S40. (BIBSYS). For-svarets forskningsinstitutt, 1962, 84 s., pl. INF.

[167] Ole Lehrmann Madsen, Birger Møller-Pedersen og Kristen Nygaard. Object-oriented programming in the BETA programming language. (BIBSYS).ACM Press, 1993, XIV, 357 s. isbn: 0-201-62430-3. INF.

[168] Les fondements de la programmation. cours de la Commission des com-munautes europeennes. (BIBSYS). Institut de recherche d’informatiqueet d’automatique, 1978. INF.

[169] Linguaggi della societa e della tecnica. Saggi di cultura contemporanea.(BIBSYS). Edizioni di Comunita, okt. 1968. INF.

[170] Lars Mathiassen. System description as a starting-point for teaching Si-mula. DAIMI PB 66. (BIBSYS). Datalogisk afdeling, Aarhus Universitet,1977, 26 s. INF.

[171] Geoffrey E. Millard, Øystein Myhre og Gunnar Syrrist. S-PORT. The en-vironment interface. [Report] 688. (BIBSYS). Norsk Regnesentral, 1981,70 s. isbn: 82-539-0165-8. INF.

12

[172] Geoffrey E. Millard, Øystein Myhre og Gunnar Syrrist. S-PORT. Theenvironment interface. (BIBSYS). Simula, 1985, 113 s. isbn: 82-991304-2-5. INF.

[173] Minutes from Annual Meeting of SIMULA Standards Group, January15th, 1973. Publikasjon S-45. (BIBSYS). Norsk Regnesentral, 1973, 44bl. INF.

[174] Bjørn Myhrhaug. Proposal for string and input/output definition in SI-MULA 67 common base. Preliminary presentation. (BIBSYS). NorskRegnesentral, [1968], 41, [19] bl. INF.

[175] Bjørn Myhrhaug. SIMULA 67 common base. Working document on input-output. (BIBSYS). Norsk regesentral, 1967, 47 bl. INF.

[176] NATO Advanced Study Institute, red. Programming languages. (BIB-SYS). London: Academic Press, 1968. INF.

[177] NEBB, A/S, Div.Skøyen, Olav Terje Bergo og Kristen Nygaard. Klubbensnye arbeidsoppgaver. Publikasjon 409. (BIBSYS). Norsk Regnesentral,1973, 5 bl.71 pag.bl. INF.

[178] Norsk Regnesentral. The structure of the NCC SIMULA compilers andbench mark comparisons with other major languages. (BIBSYS). NorskRegnesentral, 1972, 12 bl. INF.

[179] Kristen Nygaard. AI and the future. (BIBSYS). 1988, s. 161–169. INF.

[180] Kristen Nygaard. An emergency toolkit. Foreword. ( BIBSYS). c2002,s. V–X. INF.

[181] Kristen Nygaard. Angrep pa enkeltmal og malsystemer med ballistiskeraketter. Teoretiske studier av taktikk og skadestruktur. Intern rapport /Forsvarets forskningsinstitutt F-381. (BIBSYS). Forsvarets forskningsin-stitutt, 1959, 35 bl. INF.

[182] Kristen Nygaard. �Basic concepts in object oriented programming. Anoverview of the Beta language�. I: Object-oriented computing systems.(BIBSYS). University of Newcastle upon Tyne Computing Laboratory,1988, s. 1–55. INF.

[183] Kristen Nygaard. DELTA-prosjektet og dets tilknytning til problemene isystemutvikling. Publication / Norwegian Computing Center 539. (BIB-SYS). 1976, 38 bl. INF.

[184] Kristen Nygaard. Har vi kunnskaper nok til a innføre kontorautomasjon?Vol. 1. (BIBSYS). [1981], s. 96. INF.

[185] Kristen Nygaard. How many choices do we make? How many are diffi-cult. (BIBSYS). c1992, s. 52–59. INF.

[186] Kristen Nygaard. �Indlæg af Kristen Nygaard�. I: Arbejdsformer i sys-temudvikling. Red. av Arhus-konferencen. (BIBSYS). Aarhus universitet,1975, s. 21–24. INF.

[187] Kristen Nygaard. Innføring i simulering av stokastiske modeller - Monte-Carlo-metoder for bruk i operasjonsanalyse. Intern rapport / Forsva-rets forskningsinstitutt F-380. (BIBSYS). Forsvarets forskningsinstitutt,1959, 11 bl. INF.

13

[188] Kristen Nygaard. �On the development of Simula�. I: Simula 25 years.Jubileumskonferanse i Sophus Lies auditorium. (BIBSYS). Universiteteti Oslo : Institutt for informatikk. Informatics library, jun. 1992. INF.

[189] Kristen Nygaard. On the use of an extended SIMULA in system descrip-tion. Publication S-59. (BIBSYS). Norsk Regnesentral, 1973, 22 s. INF.

[190] Kristen Nygaard. �On the use of an extended Simula in system descrip-tion�. I: Proceedings of the Simula Users’ Conference, Oslo, 24th - 25thSeptember, 1973. Publication S-58. (BIBSYS). Norsk Regnesentral, 1973,s. 1–22. INF.

[191] Kristen Nygaard. �Profession oriented languages�. I: Computers andlanguage at work. Red. av Peter Bøgh Andersen og Tone Bratteteig.Research Report 126. (BIBSYS). Universitetet i Oslo, Institutt for infor-matikk, 1988, s. 21–27. INF.

[192] Kristen Nygaard. �Program development as a social activity�. I: In-formation processing 86. Proceedings of the IFIP 10th World ComputerCongress. Red. av H.-J. Kugler. (BIBSYS). Elsevier, sep. 1986, s. 189–198. INF.

[193] Kristen Nygaard. Report on the use of SIMULA up to December 1965.(BIBSYS). Norsk Regnesentral, 1966, 10 bl. INF.

[194] Kristen Nygaard. SIMULA example nr 1. Airport departure system. (BIB-SYS). Norsk Regnesentral, [1964?], 9 bl. INF.

[195] Kristen Nygaard. System description by SIMULA. An introduction. Pub-lication S-35. (BIBSYS). Norsk Regnesentral, 1970, 7, 42 bl. INF.

[196] Kristen Nygaard. The Beta language. Transparencies for Kristen Ny-gaard’s lectures. (BIBSYS). [K.Nygaard], 1989, [43 bl.] INF.

[197] Kristen Nygaard. �We are not against Europe. We are against Norwe-gian membership in the European Union�. I: Europa: Fluch oder Segen.Smatrykk. Ma katalogiseres. Lebensmittel Zeitung, 1995.

[198] Kristen Nygaard og Olav Terje Bergo, red. Bedriftspolitisk handlingspro-gram for bedriftsklubben ved A/S Hydraulik, Brattvag. Forskningsrapportfra Norsk Jern- og Metallarbeiderforbunds forskningsprosjekt 7. (BIB-SYS). 1974, 134 s. isbn: 82-10-00889-7. INF.

[199] Kristen Nygaard og Olav Terje Bergo. Oppbygging av kunnskaper omdatabehandling, planlegging og styring innen Norsk jern- og metallarbei-derforbund. Publikasjon 325. (BIBSYS). Norsk Regnesentral, 1972, 118s. INF.

[200] Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databe-handling. Grunnbok for fagbevegelsen. Publikasjon 413, 415. (BIBSYS).Norsk Regnesentral, 1973, 2 b. INF.

[201] Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databe-handling. Grunnbok for fagbevegelsen. Forskningsrapport / fra Norskjern- og metallarbeiderforbunds forskningsprosjekt ; 7 [i.e. 1], 2. (BIB-SYS). Tiden i samarbeid med Arbeidernes opplysningsforbund, 1974- .INF.

[202] Kristen Nygaard og Olav Terje Bergo. The trade unions. New users ofresearch. (BIBSYS). Norsk Regnesentral, [1973], 20 bl. INF.

14

[203] Kristen Nygaard og Bent Bruun-Kristensen, red. The Beta programminglanguage. (BIBSYS). MIT Press, c1987, s. 7–48. INF.

[204] Kristen Nygaard og Ole-Johan Dahl. The development of the SIMULAlanguages. Publikasjon 603. (BIBSYS). Norsk Regnesentral, 1978, 28 s.isbn: 82-539-0072-4. INF.

[205] Kristen Nygaard og Ole-Johan Dahl. �The development of the Simulalanguages�. I: ACM SIGPLAN History of Programming Languages Con-ference. Red. av Richard L. Wexelblat. HOPL 1. (BIBSYS). Associationfor Computing Machinery. Los Angeles: Academic Press, jun. 1978, 1kassett (Beta) (60 min). INF.

[206] Kristen Nygaard og Ole-Johan Dahl. �The development of the Simulalanguages�. I: ACM SIGPLAN History of Programming Languages Con-ference. Red. av Richard L. Wexelblat. HOPL 1. (BIBSYS). Associationfor Computing Machinery. Los Angeles: Academic Press, jun. 1978, 1kassett (VHS) (60 min). INF.

[207] Kristen Nygaard og Ole-Johan Dahl. �The development of the Simu-la languages�. I: ACM SIGPLAN History of Programming LanguagesConference. Red. av Richard L. Wexelblat. HOPL 1. (BIBSYS). Associa-tion for Computing Machinery. Los Angeles: Academic Press, jun. 1981,s. 439–493. INF.

[208] Kristen Nygaard, Roar Fjellheim og Petter Handlykken, red. Report froma Seminar on system description at Skogen”, Røros. Publication S-65.(BIBSYS). Norsk regnestral, 1974, 50 s. INF.

[209] Kristen Nygaard og Anne K. Grimsrud. Samholds-Norge eller Markeds-Norge? Smatrykk. Ma katalogiseres. Kristen Nygaard, 1997.

[210] Kristen Nygaard og Odd Gulbrandsen. Norske soldaters yteevne ved marsjog bæring utenfor vei. (BIBSYS). 1960, s. 131–166. INF.

[211] Kristen Nygaard mfl., red. Classification of actions or inheritance alsofor methods. DAIMI PB 231. (BIBSYS). Arhus University, ComputerScience Department, 1987, 16 s. INF.

[212] Object-oriented computing systems. (BIBSYS). University of Newcastleupon Tyne Computing Laboratory, 1988. INF.

[213] Object-oriented modelling and simulation. Proceedings of the 22nd Confe-rence of the ASU, 15th-17th July, 1996, University Blaise Pascal, Clermont-Ferrand, France. (BIBSYS). The Association of SIMULA Users, 1996,165 s. INF.

[214] Object-oriented modelling and simulation. Proceedings of the 23rd Con-ference of the Association of SIMULA Users (ASU). BIBSYS). The As-sociation of SIMULA Users, aug. 1997. INF.

[215] Hakan Odemalm og Jacob Palme. Error messages in 360-Algol, 360/370Simula and Dec 10 Algol. FOA P rapport C8364-M3(E5). (BIBSYS).Forsvarets forskningsanstalt, Planeringsbyran, 1973, 47 bl. INF.

[216] Hanna Oktaba og Wies lawa Ratajczak. Simula 67. (BIBSYS). Wydaw-nictwa Naukowo-Techniczne, c1980, 200 s. isbn: 83-204-0128-3. INF.

[217] Reidar Olderkjær. Implementasjon av multippel prefiksering i Simula.(Hovedoppgave BIBSYS). [R. Olderkjær], 1987, 94 s. INF.

15

[218] Olaf Owe, Stein Krogdahl og Tom Lyche, red. From object-orientationto formal methods. Essays in memory of Ole-Johan Dahl. (BIBSYS).Springer, cop. 2004, X, 388 s. isbn: 3-540-21366-x. INF.

[219] Jacob Palme. A Simula system for the DEC 10 computer. FOA P rapportC8352-M3(E5). (BIBSYS). Forsvarets forskningsanstalt, 1973, 11 s. INF.

[220] Jacob Palme. Programmeringssprak. (BIBSYS). Studentlitteratur, 1971,165 s. INF.

[221] Jacob Palme. SIMULA 67. Ett avancerat programmerings- och simule-ringssprak. FOA P rapport C8242-64(11). (BIBSYS). Forsvarets forsk-ningsanstalt, Planeringsbyran, 1969, 23 bl. INF.

[222] Jacob Palme. SIMULA 67. An advanced programming and simulationlanguage. Publication S-17. (BIBSYS). Norsk Regnesentral, 1970, 27 s.INF.

[223] Per G. Peterzens. DYNA-SIM. Systemdynamiske modeller programmerti Simula. FFI notat 82/5002. (BIBSYS). Forsvarets forskningsinstitutt,1982, 64 s. INF.

[224] Jo Piene. SIPOFIX. SIMULA postfix code November 24th 1981 : version1. Report 705. (BIBSYS). Norsk Regnesentral, 1981, 69 s. isbn: 82-539-0184-4. INF.

[225] Planlegging og styring. Del III. Publikasjon 413. (BIBSYS). Norsk Regne-sentral, 1973, 56 bl. INF.

[226] W.L. van der Poel og L.A. Maarssen, red. IFIP Working Conferenceon Machine oriented higher level languages. (BIBSYS). IFIP TechnicalCommittee 2, Programming. Trondheim: North-Holland, 1974.

[227] Portable Simula. Simula observatory : Simob : programmers reference.(BIBSYS). Simula, 1985, 27 s. isbn: 82-991304-6-8. INF.

[228] S. Prehn og W. J. Toetene, red. VDM ’91 : formal software developmentmethods. Lecture notes in computer science 552. (BIBSYS). 1991. INF.

[229] Proceedings of the 20th conference of the ASU, Prague 1994. (BIBSYS).The Association of SIMULA Users, 1994, 237 s. INF.

[230] Proceedings of the Eighteenth SIMULA Users’ Conference, held June 11-12, 1992 at the Leeuwenhorst Congress Centre, Noordwijkerhout, TheNetherlands. (BIBSYS). Rijksuniversiteit Groningen, 1992, 126 s. INF.

[231] Proceedings of the Fifteenth SIMULA Conference, 16-18 September, 1987,held in St. Helliers, Jersey, 16-18 September, 1987. (BIBSYS). Simula,1987, 157 s. isbn: 82-90756-00-3. INF.

[232] Proceedings of the Fourth Simula Users Conference, 8th - 10th Septem-ber 1976, held at Leeuwenhorst Congres Center, Noordwijkerhout, TheNetherlands. Publication S-81. (BIBSYS). Norsk Regnesentral, 1976, 103s. INF.

[233] Proceedings of the Simula Users’ Conference, Oslo, 24th - 25th Septem-ber, 1973. Publication S-58. (BIBSYS). Norsk Regnesentral, 1973, 1 b.(flere pag.) INF.

16

[234] Proceedings of the Tenth SIMULA Users’ Conference 8th-10th September1982 held at NTNF Conference Studio, Ulleval Stadion, Oslo, Norway.Report 722. (BIBSYS). Norsk Regnesentral, 1982, 155 s. isbn: 82-539-0203-4. INF.

[235] Programmer’s reference manual. Univac Simula. (BIBSYS). Norsk Regne-sentral, 1979, 27 s. INF.

[236] Recommendations from the Simula 67 Common Base Conference, NCC,June 1967. (BIBSYS). National Computing Centre, 1967], 3 s. INF.

[237] Recommendations to the SIMULA Standards Group. (BIBSYS). NorskRegnesentral, 1970, 34 bl. INF.

[238] Staffan Romberger og Yngve Sundblad. Grundlaggande programmeringi SIMULA. (BIBSYS). Teknisk Hogskolelitteratur, 1982, 247 s. isbn: 91-85484-03-2. INF.

[239] A.W. Roscoe, red. A classical mind. Essays in honour of C.A.R. Hoare.(BIBSYS). Prentice Hall, 1994. INF.

[240] Thomas Røgeberg. Simulation and SIMULA as applied to the designand analysis of telephone systems. Publication S-30. (BIBSYS). NorskRegnesentral, 1970, 27 s. INF. Gave fra UBBRB, ma akses.

[241] Eileen Schreiner mfl., red. Talks at conference dinner at Najaden. (BIB-SYS). 1992, s. 1 DVD. INF.

[242] Separate compilation of classes and procedures in Exec 8 Simula. Publi-cation S-79. (BIBSYS). Norsk Regnesentral, 1976, 19 s. INF.

[243] Bruce Shriver og Peter Wegner, red. Research directions in object-orientedprogramming. (BIBSYS). MIT Press, 1987. INF.

[244] Karoly Siklosi. Simula simulation. (BIBSYS. Tekniska høgskolans stu-dentkar, 1975. INF.

[245] Simula 25 years. Jubileumskonferanse i Sophus Lies auditorium. (BIB-SYS). Universitetet i Oslo : Institutt for informatikk. Informatics library,jun. 1992. INF.

[246] SIMULA programmer’s reference manual. Univac EXEC 8. PublicationS no. 37-0 / Norsk Regnesentral. (BIBSYS). Universitetsforlaget, 1972,1 b. (flere pag.) INF.

[247] SIMULA (R) programmer’s reference manual under the operating sys-tems MS-DOS, OS-2, XENIX/286, XENIX/386, UNIX/386. Release108. SIMULA standard : as defined by the SIMULA Standards Group,25th August 1986. (BIBSYS). Simula, 1989, 140, 239 s. INF.

[248] SIMULA standard. July 1985 : a complete definition of the language asaccepted by The SIMULA Standards Group as of 31st December 1984.SIMULA information. (BIBSYS). SIMULA, 1985, III, 217 s. isbn: 82-991304-1-7. INF.

[249] SIMULA standard. As defined by the SIMULA Standards Group, 25thAugust 1986. (BIBSYS). Simula, 1989, 239 s. INF.

[250] SIMULA Standards Group. Minutes from the Annual Meeting of theSIMULA Standards Group and the SIMULA Development Group, August1985. SIMULA information. (BIBSYS). SIMULA, 1985, III, 58 s. isbn:82-991304-7-6. INF.

17

[251] SIMULA Standards Group. Annual meeting. Minutes from the Annualmeeting of the Simula Standards Group, Oslo, September 26th, 1973.Publication S-66. (BIBSYS). Norske regnesentral, 1973, 27 bl. INF.

[252] SIMULA Standards Group. Annual meeting og Kristen Nygaard, red.Annual meeting of the Simula Standards Group, Bonn University, Bonn,May 19th, 1970. (BIBSYS). Norsk Regnesentral, 1970, 1 b. (flere pag.)INF.

[253] SIMULA Standards Group, Gunnar Syrrist og Arne Wang. Minutes fromthe Annual Meeting of the SIMULA Standards Group and the SIMULADevelopment Group, August 1984. Report 757. (BIBSYS). Norsk Regne-sentral, 1984, 101 s. isbn: 82-539-0241-7. INF.

[254] SIMULA users guide. Univac EXEC 8. Publication S-36-0 / Norsk Regne-sentral. (BIBSYS). Universitetsforlaget, 1971, 1 b. (flere pag.) INF.

[255] Simula Vitae. (BIBSYS). Norwegian Computer Center, 1984. INF.

[256] Miroslav Snorek, Milan Sujansky og Alexander Verbraeck, red. Modellingand simulation. (BIBSYS). Jun. 1995. INF.

[257] Neelam Soundararajan og Ole-Johan Dahl. Partial correctness semanticsof communicating sequential processes. Research report 66. (BIBSYS).University of Oslo, Department of Informatics, 1982, 29 bl. isbn: 82-90230-62-1. INF.

[258] Bjarne Stroustrup. C++. Simula in wolf ’s clothing(?) 3. (BIBSYS).1992, s. 1 DVD. INF.

[259] Yngve Sundblad, Staffan Romberger og Ørjan Leringe. Fortsatt program-mering i Simula. (BIBSYS). Teknisk Hogskolelitteratur, [1981], 255 s.isbn: 91-85484-07-5. INF.

[260] Symposium in Celebration of the work of C.A.R. Hoare. (BIBSYS). St.Catherine’s College, sep. 1999. INF.

[261] Larry Tesler. Object-oriented dynamic languages. 4. (BIBSYS). 1992, s. 1DVD. INF.

[262] Univac Simula 67. Programmer‘s reference manual. (BIBSYS). Norwe-gian Computer Center, 1979. INF.

[263] Universitetet i Oslo og Ole-Johan Dahl. Innstilling om valg av elektroniskregneanlegg. (BIBSYS). Universitetet i Oslo, Matematisk institutt, 1966,19 bl. INF.

[264] �Virkeligheten som simuleringsspill�. I: Apollon (1 1999). (BIBSYS),s. 9–11. INF.

[265] Richard L. Wexelblat, red. ACM SIGPLAN History of ProgrammingLanguages Conference. HOPL 1. (BIBSYS). Association for ComputingMachinery. Los Angeles: Academic Press, jun. 1978. INF.

[266] Claes Wihlborg. How to implement hidden-protected in a Simula compi-ler. FOA rapport, C 10072-M3(E5). (BIBSYS). Swedish National DefenceResearch Institue, 1977, 9 bl. INF.

[267] Workshop on Simula and data bases, Paris, France, May 2–3, 1977.(BIBSYS). Universite Pierre et Marie Curie, Institut de programmation,1977, 173 bl. INF.

18

[268] Øglænd (Jonas). Bedriftsklubben, Olav Terje Bergo og Kristen Nygaard.Tre aktuelle arbeidsoppgaver ved Øglænds sykkelfabrikk. Publikasjon 404.(BIBSYS). Norsk Regnesentral, 1973, 126 bl. INF.

[269] Arhus-konferencen, red. Arbejdsformer i systemudvikling. (BIBSYS). Aar-hus universitet, 1975. INF.

Fins elektronisk

[270] Olav Terje Bergo og Kristen Nygaard, red. Bedriftspolitisk handlingspro-gram for bedriftsklubben ved A/S Hydraulik, Brattvag. Forskningsrapportfra Norsk Jern- og Metallarbeiderforbunds forskningsprosjekt 7. (BIB-SYS). 1974, 134 s. eINF.

[271] Olav Terje Bergo og Kristen Nygaard. Norsk jern- og metallarbeider-forbund og forskningsressursene. Noen fakta og synspunkter. Forsknings-rapport fra Norsk jern- og metallarbeiderforbunds forskningsprosjekt 8.(BIBSYS). Norsk Regnesentral, 1973, 40 bl. eINF.

[272] Ernst Buchberger, Kristen Nygaard og Bo Goranzon, red. Artificial intel-ligence. Perspectives and implications. CompLex 11/87. (BIBSYS). Nor-wegian University Press, c1987, 157 s. eINF.

[273] Ernst Buchberger, Kristen Nygaard og Bo Goranzon, red. Artificial intel-ligence. Perspectives of AI as a social technology. CompLex 2/88. (BIB-SYS). TANO, c1988, 136 s. eINF.

[274] Ole-Johan Dahl. Autocoding for the Ferranti Mercury Computer (MAC).NDRE Report 24. ( BIBSYS). Norwegian Defence Research Establish-ment, 1957, 92, 6, 4 bl. eINF.

[275] Ole-Johan Dahl. Hoare-style parallel programming. Foils for a studentcourse, IN305. Research report 192. ( BIBSYS). University of Oslo, De-partment of Informatics, 1994, 1 b. (flere pag.) eINF.

[276] Ole-Johan Dahl. Maskinsprak og operasjonssystem. Forelesninger i DB2. ( BIBSYS). [s.n.], 1971, 138, [33] bl. eINF.

[277] Ole-Johan Dahl. Multiple index countings on the Ferranti Mercury com-puter. no. 23. (BIBSYS). Norwegian Defence Research Establishment,1957, 43 bl., [10] fold. pl. eINF.

[278] Ole-Johan Dahl. Object orientation and formal techniques. (extended abs-tract). Research report 138. (Digitalisert versjon). University of Oslo,Department of Informatics, 1990, 11 bl. isbn: 82-7368-044-4. eINF.

[279] Ole-Johan Dahl. Object oriented specification. Research report 108. (Di-gitalisert versjon). University of Oslo, Department of Informatics, 1987,18 bl. isbn: 82-7368-009-6. eINF.

[280] Ole-Johan Dahl. Syntaks og semantikk i programmeringssprak. (BIB-SYS). Studentlitteratur, 1972, 103 s. eINF.

[281] Ole-Johan Dahl. �The birth of object-orientation. The Simula langua-ges�. I: From object-orientation to formal methods. Essays in memoryof Ole-Johan Dahl. Red. av Olaf Owe, Stein Krogdahl og Tom Lyche.(BIBSYS). Springer, 2004, s. 15–25. eINF.

19

[282] Ole-Johan Dahl og Dag Belsnes. Algoritmer og datastrukturer. (BIBSYS).Studentlitteratur, 1973, 170 s. eINF.

[283] Ole-Johan Dahl og Jan V. Garwick. Programmer’s handbook for the Fer-ranti Mercury Computer Frederic at the Norwegian Defense ResearchEstablishment. (BIBSYS). Norwegian Defence Research Establishment,1958, 96 s. eINF.

[284] Ole-Johan Dahl og Bjørn Kristoffersen. On introducing higher order func-tions in ABEL. Research report 210. (BIBSYS). University of Oslo, De-partment of Informatics, 1995, s. 18. eINF.

[92] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common baselanguage. Publication S-22. (BIBSYS). Norsk Regnesentral, 1970, 145 s.eINF.

[285] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common baselanguage. 743. (BIBSYS). 1984, 172 s. isbn: 82-539-0225-5. eINF.

[286] Ole-Johan Dahl og Kristen Nygaard. �Simula. An ALGOL-based simu-lation language�. I: Communications of the ACM 9.9 (1966). (Artikkel),s. 671–682. eINF.

[287] Ole-Johan Dahl og Olaf Owe. Formal methods and the RM-ODP. Rese-arch report 261. ( BIBSYS). University of Oslo, Department of Informa-tics, 1998, 17 s. eINF.

[288] Ole-Johan Dahl, Olaf Owe og Tore Jahn Bastiansen. Subtyping and con-structive specification. Research report 228. ( BIBSYS). University ofOslo, Department of Informatics, 1996, 38 s. eINF.

[289] Datamaskiner, systemer og sprak. 2. (BIBSYS). c1974, 264 s. eINF.

[290] Stein Gjessing og Kristen Nygaard, red. ECOOP ’88 : proceedings of theEuropean Conference on Object-Oriented Programming, Oslo, Norway,August 15-17, 1988 ; S. Gjessing, K. Nygaard (eds.) (BIBSYS). Springer,c1988. eINF.

[291] Magne Haveraaen, Olaf Owe og Ole-Johan Dahl. Recent Trends in DataType Specification. 11th Workshop on Specification of Abstract Data Ty-pes Joint with the 8th COMPASS Workshop Oslo, Norway, September19-23, 1995 Selected Papers. (BIBSYS). Springer-Verlag, 1996. isbn:9783540706427. eINF.

[292] Jan Rune Holmevik. The construction of SIMULA. The world’s first ob-ject oriented programming language. STS-working paper 1/92. (BIBSYS).Universitetet i Trondheim, Senter for teknologi og samfunn, [1991], 33 bl.eINF.

[293] Per Lund, Kristen Nygaard og Birgit Wiig, red. Fakta og meninger omNorge og EF. (BIBSYS). I kommisjon hos Hilt & Hansteen, 1989, 140 s.eINF.

[294] Kristen Nygaard. �Basic concepts in object oriented programming�. I:ACM SIGPLAN Notices 21 (10 1986). (BIBSYS), s. 128–132. eINF.

[295] Kristen Nygaard. On the use of an extended SIMULA in system descrip-tion. Publication 454; S-59. (BIBSYS). Norsk Regnesentral, 1973, 22 s.eINF.

20

[296] Kristen Nygaard. Program development as a social activity. (BIBSYS).Elsevier, 1986, [25] s. eINF.

[297] Kristen Nygaard og Olav Terje Bergo. Databehandling, planlegging ogstyring. Grunnbok for fagbevegelsen. (BIBSYS). 1972, 2 b. eINF.

[298] Kristen Nygaard og Olav Terje Bergo, red. En Vurdering av styrings-og informasjonssystemet KVPOL. Forskningsrapport fra Norsk jern- ogmetallarbeiderforbunds forskningsprosjekt nr 4. (BIBSYS). Tiden norskforlag, 1974, 121 s. eINF.

[299] Kristen Nygaard og Olav Terje Bergo. �Innføring�. I: Planlegging, sty-ring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport/ fra Norsk jern- og metallarbeiderforbunds forskningsprosjekt ; 2, 71. (BIBSYS). Tiden i samarbeid med Arbeidernes opplysningsforbund,1974, VI, 225 s. eINF.

[300] Kristen Nygaard og Olav Terje Bergo. �Innføring�. I: Planlegging, sty-ring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport/ Norsk jern- og metallarbeiderforbunds forskningsprosjekt nr 7. (BIB-SYS). Tiden i samarbeid med Arbeidernes opplysningsforbund, 1975,VIII, 233 s. eINF.

[301] Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databe-handling. Grunnbok for fagbevegelsen. Forskningsrapport fra Norsk jern-og metallarbeiderforbunds forskningsprosjekt. (BIBSYS). Tiden i samar-beid med Arbeidernes opplysningsforbund, 1975. eINF.

[302] Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databe-handling. Grunnbok for fagbevegelsen. Forskningsrapport / fra Norskjern- og metallarbeiderforbunds forskningsprosjekt ; 2, 7. (BIBSYS). Ti-den i samarbeid med Arbeidernes opplysningsforbund, c1974. eINF.

[303] Kristen Nygaard og Jens Johan Kaasbøll, red. ForskningsprogrammetSYDPOL. System development environment and profession oriented lan-guages. (BIBSYS). Institutt for informatikk, Universitetet i Oslo, 1983.eINF.

[304] Olaf Owe, Stein Krogdahl og Tom Lyche, red. From object-orientationto formal methods. Essays in memory of Ole-Johan Dahl. ( BIBSYS).Springer, c2004. eINF.

[305] Planlegging og styring. Del 2. (BIBSYS). 1972, 178 s. eINF.

Ikke katalogisert

[31] Arnfinn Christensen. Eventyret om Simula. Utskrift fra nett. Om radio-programmet Kristen Nygaard — Simula i serien Verdt a vite. 2003. INF.Notat: katalogiseres og plasseres i Eske.

[66] Ole-Johan Dahl. Programming discipline. Kopi. ? INF. Notat: katalogi-seres og plasseres i Eske.

[127] Kjartan Eide og Knut Elgsaas. Simulering av nytt stalstøperi ved Raufossammunisjonsfabrikker a/s. Publication S-20. (BIBSYS). Norsk Regne-sentral, 1970. INF. Gave fra UBBRB, ma akses.

21

[129] Jan Evensmo. Planning the layout, equipment manning and operationsof a warehouse. Publication S-21. (BIBSYS). Norsk Regnesentral, 1970,13 s. INF. Gave fra UBBRB, ma akses.

[139] Havard Hegna. SIMAED. SIMULA I on CTSS – A brief description ofa SIMULA-like language operating under AED. Tekn. rapp. MIT, 1969,37 s. INF. Notat: katalogiseres og plasseres i Eske.

[141] Havard Hegna. The use of a high-level language for system programmingin the MULTICS project. Tekn. rapp. MIT, 1968, 29 s. INF. Notat: ka-talogiseres og plasseres i Eske.

[158] Bjørn Kirkerud. Systematic, object-oriented programming using SIMU-LA. Opptrykk. Sep. 1986. INF. Notat: katalogiseres og plasseres i Eske.

[197] Kristen Nygaard. �We are not against Europe. We are against Norwe-gian membership in the European Union�. I: Europa: Fluch oder Segen.Smatrykk. Ma katalogiseres. Lebensmittel Zeitung, 1995.

[209] Kristen Nygaard og Anne K. Grimsrud. Samholds-Norge eller Markeds-Norge? Smatrykk. Ma katalogiseres. Kristen Nygaard, 1997.

[240] Thomas Røgeberg. Simulation and SIMULA as applied to the designand analysis of telephone systems. Publication S-30. (BIBSYS). NorskRegnesentral, 1970, 27 s. INF. Gave fra UBBRB, ma akses.

Fins ved andre avdelinger pa UB Oslo

[306] Ernst Buchberger, Kristen Nygaard og Bo Goranzon, red. Artificial intel-ligence. Perspectives of AI as a social technology. CompLex 2/88. (BIB-SYS). TANO, cop. 1988, 136 s. isbn: 82-518-2516-4. UBO.

[307] Ole-Johan Dahl. Multiple index countings on the Ferranti Mercury com-puter. NDRE Report 23. (Hovedoppgave i matematikk BIBSYS). Nor-wegian Defence Research Establishment, 1957, 43 bl., [10] fold. pl. UBO.

[308] Databehandling, systemer og sprak. Del 1. (BIBSYS). 1972, XII, 182 s.UBO.

[309] Per Lund, Kristen Nygaard og Birgit Wiig, red. Fakta og meninger omNorge og EF. (BIBSYS). I kommisjon hos Hilt & Hansteen, 1989, 140 s.isbn: 82-7413-056-1. UBO.

[310] Kristen Nygaard og Olav Terje Bergo. Databehandling, planlegging ogstyring. Grunnbok for fagbevegelsen. (BIBSYS). 1972, 2 b. UBO.

[311] Kristen Nygaard og Jostein Fjalestad. Group interests and participationin information system development. Paper presented at Working Partyon Information, Computer and Communications Policy, OECD, Paris 27.- 29. nov. 1979 (BIBSYS). [Norsk Regnesentral?], 1979, 22, 4 bl. UBO.

[312] Planlegging og styring. Del 2. (BIBSYS). 1972, 178 s. UBO.

22

Fins ved Norsk Regnesentral

[313] Karel Babcicky. 360/370 SIMULA. External procedure library. Publika-sjoner 435. Norsk Regnesentral, 1973, upag. NR.

[314] Karel Babcicky. Activate SIMULA. Publikasjoner 582. Norsk Regnesen-tral, 1977, 50 s., 4bl. NR.

[315] Karel Babcicky og Øystein Myhre. Minutes from the annual meeting ofthe SIMULA Standards Group and the SIMULA Development Group.Publikasjon 611. Norsk Regnesentral, sep. 1977, 37 s. NR.

[316] Drude Berntsen, Knut Elgsaas og Graham Birtwistle. Oversikt over NR’sengasjement vedrørende Simula 67. Internt notat. Norsk Regnesentral,1972, upag. NR.

[317] Graham Birtwistle. Notes on the SIMULA language. Publikasjon 90:1,S-7. Norsk Regnesentral, 1969, 160 s., 3. NR.

[318] Jan Evensmo. Anvendelse av simulering og SIMULA ved innredning ogdrift av et engroslager. Publikasjoner 248. Norsk Regnesentral, 1968, 19s. NR.

[319] Jan Evensmo. �Anvendelse av simulering og SIMULA ved innredningog drift av et engroslager�. I: NordDATA. Publikasjoner 192. (Lenke tilkatalog). Helsinki, 1968, 19 s. NR.

[320] NordDATA. (Lenke til katalog). Helsinki, 1968. NR.

[321] Norsk Regnesentral, red. Minutes from the annual meeting of the SIMU-LA Standards Group and the SIMULA Development Group. Publikasjon568. Norsk Regnesentral, sep. 1976, 33 s. NR.

Informatikkbiblioteket har ikke, men ønsker

[322] Ole-Johan Dahl. Autocoding for the Ferranti Mercury Computer (MAC).NDRE Report 24. BIBSYS). Norwegian Defence Research Establish-ment, 1957, 92, 6, 4 bl. øINF.

[323] Ole-Johan Dahl. Double length fixed point output. Teknisk notat / Forsva-rets forskningsinstitutt, Matematikkseksjonen S06. (BIBSYS). Forsvaretsforskningsinstitutt, 1960, 2 bl. øINF.

[324] Ole-Johan Dahl. Important concepts in SIMULA. (BIBSYS). NorwegianComputing Center, 1967, 10 bl. øINF.

[325] Ole-Johan Dahl. Linear programming on the Mercury computer. Themultiplex method. Intern rapport / Forsvarets forskningsinstitutt K375.(BIBSYS). 1959, II, 26 bl. øINF.

[326] Ole-Johan Dahl. Mac bulletin I. Teknisk notat / Forsvarets forsknings-institutt, Matematikkseksjonen S15. (BIBSYS). Forsvarets forskningsin-stitutt, 1960, 10 bl. øINF.

[327] Ole-Johan Dahl. Mac bulletin II. Teknisk notat / Forsvarets forsknings-institutt, Matematikkseksjonen S17. (BIBSYS). Forsvarets forskningsin-stitutt, 1960, 3 bl. øINF.

23

[328] Ole-Johan Dahl. Mac bulletin III. Teknisk notat / Forsvarets forsknings-institutt, Matematikkseksjonen S25. (BIBSYS). Forsvarets forskningsin-stitutt, 1961, 11 bl. øINF.

[329] Ole-Johan Dahl. Mac bulletin IV. Teknisk notat / Forsvarets forsknings-institutt, Matematikkseksjonen S27. (BIBSYS). Forsvarets forskningsin-stitutt, 1961, 11 bl. øINF.

[330] Ole-Johan Dahl. Solution of small systems of linear equations. Teknisknotat / Forsvarets forskningsinstitutt, Matematikkseksjonen S10. (BIB-SYS). Forsvarets forskningsinstitutt, 1960, 3 bl. øINF.

[331] Ole-Johan Dahl. The NDRE test programme. Teknisk notat / Forsva-rets forskningsinstitutt, Matematikkseksjonen S01. (BIBSYS). Forsvaretsforskningsinstitutt, 1960, 9 bl. øINF.

[332] Ole-Johan Dahl og Jan V. Garwick. Programmer’s handbook for the Fer-ranti mercury Computer Frederic at the Norwegian Defense ResearchEstablishment. (BIBSYS). Forsvarets Forskningsinstitutt, 1962, 117 bl.øINF.

[333] Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Simula 67. Uni-versal’nyj jazyk programmirovanija. (BIBSYS). Izdatel’stvo Mir, 1969,99 s. øINF.

[334] Ole-Johan Dahl og Kristen Nygaard. Basic consepts [sic] of SIMULA,an ALGOL based simulation language. (BIBSYS). Norwegian ComputingCenter, [1968?], 17 bl. øINF.

[335] Ole-Johan Dahl og Kristen Nygaard. Class and subclass declarations.(BIBSYS). Norwegian Computing Center, 1967, 17 bl. øINF.

[336] Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for program-ming and description of discrete event systems : introduction and user’smanual. (BIBSYS). Norsk Regnesentral, 1966, III, 108 s. øINF.

[337] Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for program-ming and description of discrete event systems : introduction and user’smanual. (BIBSYS). Norwegian Computing Center, 1967, III, 118 s. øINF.

[338] Ole-Johan Dahl og Kristen Nygaard. SIMULA 67. Common base propo-sal. (BIBSYS). Norwegian Computing Center, 1967, 10 bl. øINF.

[339] Databehandling, systemer og sprak. Del 1. (BIBSYS). 1972, XII, 182 s.øINF.

[340] Havard Hegna og Kristen Nygaard. A survey of SIMULA applications.Publication S-19. (BIBSYS). Norwegian Computing Center, 1970, 4 bl.,34 pag.bl. øINF.

[341] Erik Holbæk-Hanssen, Petter Handlykken og Kristen Nygaard. A briefsurvey of the Delta project. Publication S-68. (BIBSYS). Norwegian Com-puting Center, 1974, 13 s. øINF.

[342] Innføring. Forskningsrapport 7, D 1. (BIBSYS). Norsk jern- og metall-arbeiderforbund, 1975, VIII, 233 s. isbn: 82-10-00887-0. øINF.

[343] H.-J. Kugler, red. Information processing 86. Proceedings of the IFIP10th World Computer Congress. (BIBSYS). Elsevier, sep. 1986. øINF.

24

[344] Kristen Nygaard. A short introduction to Monte-Carlo methods. Publi-cation S-34. (BIBSYS). Norsk Regnesentral, 1970, 11 bl. øINF.

[345] Kristen Nygaard. Bruk av beslutningsmodeller. Foredrag pa Norddata1971, 21.-23.juni, Stavanger. (BIBSYS). [1971], 8 bl. øINF.

[346] Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databe-handling. Grunnbok for fagbevegelsen. Forskningsrapport fra Norsk jern-og metallarbeiderforbunds forskningsprosjekt nr 1-3. (BIBSYS). 1973, 3b. øINF.

[347] Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databe-handling. Grunnbok for fagbevegelsen. Forskningsrapport fra Norsk jern-og metallarbeiderforbunds forskningsprosjekt. (BIBSYS). Tiden i samar-beid med Arbeidernes opplysningsforbund, 1975. øINF.

[348] Kristen Nygaard og Anne K. Grimsrud. Samholds-Norge eller markeds-Norge? (BIBSYS). K. Nygaard, c1997, 40 s. øINF.

Ukjent tilgjengelighet

[349] Kristen Nygaard. Stokastiske tolkninger og Monte-Carlo-løsning av enklasse integralligninger. (Hovedoppgave i matematikk (tapt) BIBSYS).1956. util.

[350] Staffan Romberger og Yngve Sundblad. Grundlaggande programmeringi SIMULA. 2. rev. uppl. (BIBSYS). Teknisk Hogskolelitteratur, [1979],247 s. util.

25