1This is a list of Peter's books kept at KVL. 1999-10-20 2 3File "strings.bib" -- Bibtex string abbreviations. PS, 1990-02-22 4 5Journals, books, and series 6@STRING{AI = "Artificial Intelligence"} 7@STRING{Acta = "Acta Informatica"} 8@STRING{CJ = "Computer Journal"} 9@STRING{IFIP = "IFIP World Congress Proceedings"} 10@STRING{JCSS = "Journal of Computer and System Sciences"} 11@STRING{JFP = "Journal of Functional Programming"} 12@STRING{LICS = "IEEE Symposium on Logic in Computer Science"} 13@STRING{LNCS = "Lecture Notes in Computer Science"} 14@STRING{NGC = "New Generation Computing"} 15@STRING{PEMC = "Partial Evaluation and Mixed Computation"} 16@STRING{POPL = "ACM Symposium on Principles of Programming Languages"} 17@STRING{SMD = "Soviet Mathematics Doklady"} 18@STRING{TOPLAS = "ACM Transactions on Programming Languages and Systems"} 19@STRING{TSE = "IEEE Transactions on Software Engineering"} 20 21Publishers 22@STRING{A-W = "Addison-Wesley"} 23@STRING{AP = "Academic Press"} 24@STRING{CUP = "Cambridge University Press"} 25@STRING{JWS = "John Wiley \& Sons"} 26@STRING{MIT = "MIT Press"} 27@STRING{N-H = "North-Holland"} 28@STRING{OUP = "Oxford University Press"} 29@STRING{P-H = "Prentice-Hall"} 30@STRING{S-V = "Springer-Verlag"} 31@STRING{SL = "Studentlitteratur, Lund, Sweden"} 32 33Institutions and people 34@STRING{BEJ = "D. Bj�rner and A.P. Ershov and N.D. Jones"} 35@STRING{CCN = "Computing Center, No\-vo\-si\-birsk, USSR"} 36@STRING{DIKU = "DIKU, University of Copenhagen, Denmark"} 37@STRING{UPMAIL = "UPMAIL, Uppsala University, Sweden"} 38 39 40@Book{Abelson:1985:StructureAndInterpretation, 41 author = "Harold Abelson and Gerald Jay Sussman and Julie Sussman ", 42 title = "Structure and Interpretation of Computer Programs", 43 publisher = "MIT Press", 44 year = "1985", 45 acquired = "1986-08-29", 46 OPTnote = ""} 47 48@Book{Abramsky:1992:HandbookOf:2, 49 title = "Handbook of Logic in Computer Science. Vol. 2 50 Background: Computational Structures", 51 publisher = OUP, 52 year = "1992", 53 editor = "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum", 54 OPTmonth = "", 55 acquired = "1993-02-12", 56 OPTnote = ""} 57 58@Proceedings{ACM:1987:Principles:14, 59 title = "Fourteenth Annual ACM Symposium on Principles of 60 Programming Languages, Munich, West Germany, January 1987", 61 year = "1987", 62 publisher = "ACM", 63 organization = "ACM", 64 acquired = "1987-01-20", 65 OPTnote = ""} 66 67@Proceedings{ACM:1989:Functional:4, 68 title = "Functional Programming Languages and Computer 69 Architecture, London, England, September 1989", 70 year = "1989", 71 publisher = "Addison-Wesley", 72 organization = "ACM and IFIP", 73 acquired = "1989-09-10", 74 OPTnote = ""} 75 76@Proceedings{ACM:1990:LispAndFunctional, 77 title = "1990 {ACM} Conference on Lisp and Functional Programming", 78 year = "1990", 79 organization = "ACM", 80 address = "Nice, France", 81 month = "June", 82 acquired = "1990-06-26", 83 OPTnote = ""} 84 85@Proceedings{ACM:1991:PEPM, 86 title = "Symposium on Partial Evaluation and Semantics-Based 87 Program Manipulation", 88 year = "1991", 89 organization = "ACM", 90 address = "Yale University, New Haven, Connecticut", 91 month = "June", 92 acquired = "1991-12-04", 93 OPTnote = ""} 94 95@Proceedings{ACM:1992:PEPM, 96 title = "Workshop on Partial Evaluation and Semantics-Based 97 Program Manipulation", 98 year = "1992", 99 organization = "ACM", 100 address = "San Francisco, California", 101 month = "June", 102 acquired = "1992-07-17", 103 note = "Research Report YALEU/DCS/RR-909, Department of 104 Computer Science, Yale University"} 105 106@Proceedings{ACM:1993:Functional:6, 107 title = "FPCA '93, Functional Programming Languages and Computer 108 Architecture", 109 year = "1993", 110 organization = "ACM", 111 address = "Copenhagen, Denmark", 112 month = "June", 113 acquired = "1993-06-09", 114 OPTnote = ""} 115 116@Proceedings{ACM:1993:PEPM, 117 title = "Symposium on Partial Evaluation and Semantics-Based 118 Program Manipulation", 119 year = "1993", 120 organization = "ACM", 121 address = "Copenhagen, Denmark", 122 month = "June", 123 acquired = "1993-06-09", 124 OPTnote = ""} 125 126@Proceedings{ACM:1995:PEPM, 127 title = "Symposium on Partial Evaluation and Semantics-Based 128 Program Manipulation", 129 year = "1995", 130 organization = "ACM", 131 address = "La Jolla, California", 132 month = "June", 133 acquired = "1996-04-17", 134 OPTnote = ""} 135 136@Proceedings{ACM:1997:PEPM, 137 title = "Symposium on Partial Evaluation and Semantics-Based 138 Program Manipulation", 139 year = "1997", 140 organization = "ACM", 141 address = "Amsterdam, Netherlands", 142 month = "June", 143 acquired = "1997-06-16", 144 OPTnote = ""} 145 146@Proceedings{ACM:1999:PEPM, 147 title = "Workshop on Partial Evaluation and Semantics-Based 148 Program Manipulation", 149 year = "1999", 150 editor = "O. Danvy", 151 organization = "ACM", 152 address = "San Antonio, Texas", 153 month = "January", 154 acquired = "1999-02-15", 155 note = "BRICS Notes Series NS-99-1, DAIMI, University of Aarhus, 156 Denmark"} 157 158@Proceedings{ACM:1994:LispAndFunctional, 159 title = "1994 {ACM} Conference on Lisp and Functional Programming", 160 year = "1994", 161 organization = "ACM", 162 address = "Orlando, Florida", 163 month = "June", 164 acquired = "1994-06-22", 165 OPTnote = ""} 166 167@Proceedings{ACM:1994:Sigplan, 168 title = "{ACM SIGPLAN} '94 Conference on Programming Language 169 Design and Implementation (PLDI)", 170 year = "1994", 171 organization = "ACM", 172 address = "Orlando, Florida", 173 month = "June", 174 acquired = "1994-06-22", 175 note = "Also issued as ACM SIGPLAN Notices vol. 29, no. 6, 176 June 1994"} 177 178@Proceedings{ACM:1995:Sigplan, 179 title = "{ACM SIGPLAN} '95 Conference on Programming Language 180 Design and Implementation (PLDI)", 181 year = "1995", 182 organization = "ACM", 183 address = "La Jolla, California", 184 month = "June", 185 acquired = "1995-07-31", 186 note = "Also issued as ACM SIGPLAN Notices vol. 30, no. 6, 187 June 1995"} 188 189@Proceedings{ACM:1995:Functional, 190 title = "FPCA'95. Functional Programming Languages and 191 Computer Architecture", 192 year = "1995", 193 organization = "ACM", 194 address = "La Jolla, California", 195 month = "June", 196 acquired = "1996-05-17", 197 OPTnote = "", 198 OPTannote = ""} 199 200@Proceedings{ACM:1996:Principles:23, 201 title = "POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on 202 Principles of Programming Languages, St.\ Petersburg 203 Beach, Florida, January 1996", 204 year = "1996", 205 publisher = "ACM", 206 organization = "ACM", 207 acquired = "1996-02-09", 208 OPTnote = ""} 209 210@Proceedings{ACM:1997:Principles:24, 211 title = "POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on 212 Principles of Programming Languages, Paris, France, 213 January 1997", 214 year = "1997", 215 publisher = "ACM", 216 organization = "ACM", 217 acquired = "1997-01-15", 218 OPTnote = ""} 219 220@Proceedings{ACM:1999:Principles:26, 221 title = "POPL '99: The 26th ACM SIGPLAN-SIGACT Symposium on 222 Principles of Programming Languages, San Antonio, Texas, 223 January 1999", 224 year = "1999", 225 publisher = "ACM", 226 organization = "ACM", 227 acquired = "1999-04-16", 228 OPTnote = ""} 229 230@Proceedings{ACM:1996:ICFP, 231 title = "International Conference on Functional Programming 232 (ICFP'96), Philadelphia, Pennsylvania, May 1996", 233 year = "1996", 234 publisher = "ACM", 235 organization = "ACM", 236 acquired = "1996-07-29", 237 note = "Also: Sigplan Notices vol.\ 31, no.\ 6, June 1996" 238} 239 240@Proceedings{ACM:1997:ICFP, 241 title = "International Conference on Functional Programming 242 (ICFP'97), Amsterdam, The Netherlands, June 1997", 243 year = "1997", 244 publisher = "ACM", 245 organization = "ACM", 246 acquired = "1997-06-16", 247 note = "" 248} 249 250@Proceedings{ACM:1996:PLDI, 251 title = "1996 ACM SIGPLAN Conference on Programming Language 252 Design and Implementation (PLDI'96), Philadelphia, 253 Pennsylvania, May 1996", 254 year = "1996", 255 publisher = "ACM", 256 organization = "ACM", 257 note = "Also: Sigplan Notices vol.\ 31, no.\ 6, June 1996"} 258 259@Proceedings{ACM:1997:PLDI, 260 title = "1997 ACM SIGPLAN Conference on Programming Language 261 Design and Implementation (PLDI'97), Las Vegas, 262 Nevada, June 1997", 263 year = "1997", 264 publisher = "ACM", 265 organization = "ACM", 266 note = "Also: Sigplan Notices vol.\ 32, no.\ 5, May 1997"} 267 268@Proceedings{ACM:1998:PLDI, 269 title = "1998 ACM SIGPLAN Conference on Programming Language 270 Design and Implementation (PLDI'98), Montreal, Canada, 271 June 1998", 272 year = "1998", 273 publisher = "ACM", 274 organization = "ACM", 275 note = "Also: Sigplan Notices vol.\ 33, no.\ 5, May 1998"} 276 277@Proceedings{ACM:1999:PLDI, 278 title = "ACM SIGPLAN '99 Conference on Programming Language 279 Design and Implementation (PLDI), Atlanta, Georgia, 280 May 1999", 281 year = "1999", 282 publisher = "ACM", 283 organization = "ACM", 284 acquired = "1999-05-01", 285 OPTnote = "Also: Sigplan Notices"} 286 287@Book{Aho:1974:TheDesign, 288 author = "Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman", 289 title = "The Design and Analysis of Computer Algorithms", 290 publisher = "Addison-Wesley", 291 year = "1974", 292 acquired = "1989-10-05", 293 OPTnote = ""} 294 295@Book{Aho:1986:Compilers, 296 author = "A.V. Aho and R. Sethi and J.D. Ullman", 297 title = "Compilers, Principles, Techniques, and Tools", 298 publisher = "Addison-Wesley", 299 year = "1986", 300 acquired = "1988-06-07", 301 OPTnote = ""} 302 303@Book{Appel:1992:CompilingWith, 304 author = "Andrew W. Appel", 305 title = "Compiling with Continuations", 306 publisher = CUP, 307 year = "1992", 308 acquired = "1992-03-05", 309 OPTnote = ""} 310 311@Book{Appel:1997:ModernCompiler:ML, 312 author = "Andrew W. Appel", 313 title = "Modern Compiler Implementation in {ML}", 314 publisher = CUP, 315 year = "1997", 316 acquired = "1997-04-17", 317 OPTnote = "", 318 OPTannote = ""} 319 320@Book{Arbib:1975:Arrows, 321 author = "Michael A. Arbib and Ernest G. Manes", 322 title = "Arrows, Structures, and Functors. 323 The Categorical Imperative", 324 publisher = "Academic Press", 325 year = "1975", 326 acquired = "1986-03-14", 327 OPTnote = ""} 328 329@Book{Armstrong:1993:ConcurrentProgramming, 330 author = "J. Armstrong and R. Virding and M. Williams", 331 title = "Concurrent Programming in {Erlang}", 332 publisher = P-H, 333 year = "1993", 334 acquired = "1994-12-24", 335 OPTnote = "", 336 OPTannote = ""} 337 338@Proceedings{Arnold:1990:CAAP90, 339 title = "CAAP '90. 15th Colloquium on Trees in Algebra and 340 Programming, Copenhagen, Denmark, May 1990. (Lecture 341 Notes in Computer Science, vol. 431)", 342 year = "1990", 343 editor = "A. Arnold", 344 publisher = S-V, 345 acquired = "1990-05-09", 346 OPTnote = ""} 347 348@book{Arnold:1998:TheJava, 349 author = "Ken Arnold and James Gosling", 350 title = "The {Java} Programming Language", 351 publisher = A-W, 352 year = "1998", 353 edition = "Second", 354 acquired = "1998-03-11", 355 OPTnote = "", 356 OPTannote = "" 357} 358 359@Proceedings{Augustsson:1985:Implementation, 360 title = "Implementation of Functional Languages", 361 year = "1985", 362 editor = "Lennart Augustsson and John Hughes and Thomas 363 Johnsson and Kent Karlsson", 364 publisher = "Programming Methodology Group, Chalmers University of 365 Technology", 366 address = "Gothenburg, Sweden", 367 month = "February", 368 acquired = "1990-02-01", 369 note = "PMG Report 17"} 370 371@Book{Bach:1986:TheDesign, 372 author = "M.J. Bach", 373 title = "The Design of the Unix Operating System", 374 publisher = P-H, 375 year = "1986", 376 acquired = "1993-10-26", 377 OPTnote = ""} 378 379@Book{Backhouse:1986:ProgramConstruction, 380 author = "Roland C. Backhouse", 381 title = "Program Construction and Verification", 382 publisher = P-H, 383 year = "1986", 384 acquired = "1987-05-04", 385 OPTnote = ""} 386 387@TechReport{Birkedal:1993:TheML, 388 author = "L. Birkedal and N. Rothwell and M. Tofte and D.N. Turner", 389 title = "The {ML} {Kit}", 390 institution = DIKU, 391 year = "1993", 392 number = "93/14", 393 OPTannote = ""} 394 395@Book{Bird:1976:ProgramsAndMachines, 396 author = "Richard Bird", 397 title = "Programs and Machines. An Introduction to the Theory 398 of Computation", 399 publisher = "John Wiley and Sons", 400 year = "1976", 401 acquired = "1984-11-15", 402 OPTnote = ""} 403 404@Book{Bird:1988:Introduction, 405 author = "Richard Bird and Philip Wadler", 406 title = "Introduction to Functional Programming", 407 publisher = "Prentice-Hall", 408 year = "1988", 409 acquired = "1989-09-26", 410 OPTnote = ""} 411 412@Book{Birtwistle:1985:SimulaBegin, 413 author = "Graham M. Birtwistle and Ole-Johan Dahl and Bj�rn 414 Myhrhaug and Kristen Nygaard", 415 title = "Simula Begin", 416 publisher = "Studentlitteratur", 417 year = "1985", 418 edition = "Second", 419 acquired = "1987-06-19", 420 OPTnote = ""} 421 422@Book{Bishop:1991:TurboPascal, 423 author = "J. Bishop", 424 title = "Turbo Pascal Precisely", 425 publisher = A-W, 426 year = "1991", 427 acquired = "1996-07-01", 428 OPTnote = "", 429 OPTannote = ""} 430 431@Book{Bishop:1997:JavaGently, 432 author = "J. Bishop", 433 title = "Java Gently", 434 publisher = A-W, 435 year = "1997", 436 acquired = "1997-06-13", 437 OPTnote = "", 438 OPTannote = ""} 439 440@Book{Bishop:1998:JavaGently, 441 author = "J. Bishop", 442 title = "Java Gently", 443 publisher = A-W, 444 year = "1998", 445 acquired = "1998-05-04", 446 edition = "second", 447 OPTnote = "", 448 OPTannote = ""} 449 450 451@PhDThesis{Bjerner:1989:TimeComplexity, 452 author = "Bror Bjerner", 453 title = "Time Complexity of Programs in Type Theory", 454 school = "Department of Computer Sciences, University of 455 G�teborg/Chalmers University of Technology", 456 year = "1989", 457 address = "Gothenburg, Sweden", 458 acquired = "1990-03-26", 459 OPTnote = ""} 460 461@Proceedings{Bjoerner:1988:PartialEvaluation, 462 title = "Partial Evaluation and Mixed Computation, Gammel 463 Avern�s, Denmark, October 1987", 464 year = "1988", 465 editor = "Dines Bj�rner and Andrei P. Ershov and Neil D. Jones", 466 publisher = "North-Holland", 467 organization = "IFIP TC2", 468 acquired = "1989-03-21", 469 OPTnote = ""} 470 471@Book{Abadi:1996:ATheory, 472 author = "M. Abadi adn L. Cardelli", 473 title = "A Theory of Objects", 474 publisher = S-V, 475 year = "1996", 476 acquired = "1997-05-28", 477 OPTnote = "", 478 OPTannote = ""} 479 480@Book{BrinchHansen:1973:OperatingSystem, 481 author = "Brinch Hansen, Per", 482 title = "Operating System Principles", 483 year = "1973", 484 publisher = P-H, 485 acquired = "1980-06-27", 486 OPTnote = ""} 487 488@Book{BrinchHansen:1977:TheArchitecture, 489 author = "Brinch Hansen, Per", 490 title = "The Architecture of Concurrent Programs", 491 publisher = P-H, 492 year = "1977", 493 acquired = "1980-04-02", 494 OPTnote = ""} 495 496@Proceedings{Bruynooghe:1992:ProgrammingLanguage, 497 title = "Programming Language Implementation and Logic 498 Programming, 4th International Symposium, PLILP '92, 499 Leuven, Belgium. (Lecture Notes in Computer Science, 500 vol. 631)", 501 year = "1992", 502 editor = "M. Bruynooghe and M. Wirsing", 503 publisher = S-V, 504 acquired = "1992-08-25", 505 OPTnote = ""} 506 507@Book{Burge:1975:RecursiveProgramming, 508 author = "W.H. Burge", 509 title = "Recursive Programming Techniques", 510 publisher = A-W, 511 year = "1975", 512 acquired = "1984-12-17", 513 OPTnote = ""} 514 515@Book{Calvert:1993:TurboPascal, 516 author = "C. Calvert", 517 title = "Turbo Pascal Programming 101", 518 publisher = "Sams Publishing", 519 year = "1993", 520 acquired = "1996-05-22", 521 OPTnote = "", 522 OPTannote = ""} 523 524@Book{Chan:1996:TheJavaClass, 525 author = "Patrick Chan and Rosanna Lee", 526 title = "The {Java} Class Libraries: An Annotated Reference", 527 publisher = A-W, 528 year = "1996", 529 acquired = "1997-04-17", 530 OPTnote = "", 531 OPTannote = ""} 532 533@Book{Cornell:1995:DelphiNuts, 534 author = "G. Cornell and T. Strain", 535 title = "Delphi Nuts and Bolts for Experienced Programmers", 536 publisher = "Osborne McGraw-Hill", 537 year = "1995", 538 acquired = "1995-10-12", 539 OPTnote = "", 540 OPTannote = ""} 541 542@Book{Cornell:1996:CoreJava, 543 author = "G. Cornell and C.S. Horstmann", 544 title = "Core Java", 545 publisher = "SunSoft Press", 546 year = "1996", 547 acquired = "1996-12-12", 548 OPTnote = ""} 549 550@Book{Cousineau:1998:TheFunctional, 551 author = "G. Cousineau and M. Mauny", 552 title = "The Functional Approach to Programming", 553 publisher = CUP, 554 year = "1998", 555 acquired = "1998-10-28", 556 OPTannote = ""} 557 558@Book{Dahl:1972:StructuredProgramming, 559 author = "O.-J. Dahl and E.W. Dijkstra and C.A.R. Hoare", 560 title = "Structured Programming", 561 publisher = "Academic Press", 562 year = "1972", 563 acquired = "1990-06-25", 564 OPTnote = ""} 565 566@Proceedings{Danvy:1996:PartialEvaluation, 567 title = "Partial Evaluation. Dagstuhl Castle, Germany, 568 February 1996", 569 year = "1996", 570 editor = "O. Danvy and R. Gl�ck and P. Thiemann", 571 volume = "1110", 572 series = "Lecture Notes in Computer Science", 573 publisher = S-V, 574 acquired = "1996-08-27", 575 OPTannote = "", 576 OPTnote = ""} 577 578@Book{Davies:1999:IntroductoryJava, 579 author = {R.J. Davies}, 580 title = {Introductory Java for Scientists and Engineers}, 581 publisher = A-W, 582 year = {1999}, 583 OPTnote = {}, 584 acquired = "1999-05-04", 585 OPTannote = {}} 586 587@Proceedings{Davis:1990:FunctionalProgramming, 588 title = "Functional Programming, Glasgow 1989", 589 year = "1990", 590 editor = "Kei Davis and John Hughes", 591 publisher = S-V, 592 acquired = "1990-09-13", 593 OPTnote = ""} 594 595@Book{Decker:1995:TheObject, 596 author = "R. Decker and S. Hirshfield", 597 title = "The Object Concept. An Introduction to Computer 598 Programming Using {C++}", 599 publisher = "International Thomson Publishing Company", 600 year = "1995", 601 acquired = "1996-08-09", 602 OPTnote = "", 603 OPTannote = ""} 604 605@Book{Decker:1996:WorkingClasses, 606 author = "R. Decker and S. Hirshfield", 607 title = "Working Classes. Data Structures and Algorithms 608 Using {C++}", 609 publisher = "International Thomson Publishing Company", 610 year = "1996", 611 acquired = "1996-08-09", 612 OPTnote = "", 613 OPTannote = ""} 614 615@book{Deitel:1997:JavaHow, 616 author = "H.M. Deitel and P.J. Deitel", 617 title = "Java How to Program", 618 publisher = P-H, 619 year = "1997", 620 acquired = "1996-12-12", 621 OPTnote = ""} 622 623@Book{Dershowitz:1997:CalendricalCalculations, 624 author = {Nachum Dershowitz and Edward M. Reingold}, 625 title = {Calendrical Calculations}, 626 publisher = CUP, 627 year = {1997}, 628 acquired = {1999-09-21}, 629 OPTnote = {}, 630 OPTannote = {} 631} 632 633@Book{Dijkstra:1976:ADiscipline, 634 author = "E.D. Dijkstra", 635 title = "A Discipline of Programming", 636 publisher = P-H, 637 year = "1976", 638 acquired = "1984-03-23", 639 OPTnote = ""} 640 641@Book{Durbin:1998:BiologicalSequence, 642 author = {R. Durbin and S. Eddy and A. Krogh and G. Mitchison}, 643 title = {Biological Sequence Analysis}, 644 publisher = CUP, 645 year = {1998}, 646 acquired = {1999-10-04}, 647 OPTnote = {}, 648 OPTannote = {} 649} 650 651@Proceedings{Dybjer:1985:Specification, 652 title = "Specification and Derivation of Programs", 653 year = "1985", 654 editor = "Peter Dybjer and Bengt Nordstr�m and Kent 655 Petersson and Jan Smith", 656 publisher = "Programming Methodology Group, Chalmers Technical University", 657 address = "Gothenburg, Sweden", 658 acquired = "1990-06-18", 659 note = "PMG Report 18"} 660 661@Book{Dybvig:1987:TheScheme, 662 author = "R. Kent Dybvig", 663 title = "The {Scheme} Programming Language", 664 publisher = "Prentice-Hall", 665 year = "1987", 666 acquired = "1988-06-08", 667 OPTnote = ""} 668 669@Book{Ehrig:1985:FundamentalsOf, 670 author = "H. Ehrig and B. Mahr", 671 title = "Fundamentals of Algebraic Specification 1", 672 publisher = S-V, 673 year = "1985", 674 volume = "6", 675 series = "EATCS Monographs on Theoretical Computer Science", 676 acquired = "1985-08-05", 677 OPTnote = ""} 678 679@book{Ekman:1972:Laerobok, 680 author = "Torgil Ekman and Carl-Erik Fr�berg", 681 title = "L�robok i Algol", 682 publisher = "Studentlitteratur, Lund, Sweden", 683 year = "1972", 684 acquired = "1978-05-02", 685 note = "In Swedish"} 686 687@Book{Jensen:1993:GrundlaeggendeMatematik, 688 author = "H. Elbr�nd Jensen and T. H�holdt", 689 title = "Grundl�ggende Matematik for Dataloger", 690 publisher = "Matematisk Institut, Danmarks Tekniske H�jskole, 691 Lyngby, Danmark", 692 year = "1993", 693 OPTnote = ""} 694 695@Book{Enderton:1972:AMathematical, 696 author = "Herbert B. Enderton", 697 title = "A Mathematical Introduction to Logic", 698 publisher = "Academic Press", 699 year = "1972", 700 acquired = "1984-10-24", 701 OPTnote = ""} 702 703@Book{Flanagan:1997:JavaIn, 704 author = "D. Flanagan", 705 title = "Java in a Nutshell", 706 publisher = "O'Reilly", 707 year = "1997", 708 edition = "Second", 709 acquired = "1997-06-24", 710 OPTnote = "", 711 OPTannote = ""} 712 713@Book{Gander:1995:SolvingProblems, 714 author = "W. Gander and J. H\v{r}eb\'\i\v{c}ek", 715 title = "Solving Problems in Scientific Computing Using 716 {Maple} and {Matlab}", 717 publisher = S-V, 718 year = "1995", 719 edition = "Second", 720 acquired = "1996-10-24", 721 OPTannote = ""} 722 723@Proceedings{Ganzinger:1986:ProgramsAs, 724 title = "Programs as Data Objects, Copenhagen, Denmark, 725 October 1989", 726 year = "1986", 727 editor = "H. Ganzinger and N.D. Jones", 728 publisher = S-V, 729 acquired = "1986-04-18", 730 OPTnote = ""} 731 732@Book{Garey:1979:ComputersAnd, 733 author = "M.R. Garey and D.S. Johnson", 734 title = "Computers and Intractability. A Guide to the Theory 735 of {NP}-Completeness", 736 publisher = "W.H. Freeman", 737 year = "1979", 738 acquired = "1983-05-09", 739 OPTnote = ""} 740 741@Book{Girard:1989:ProofsAndTypes, 742 author = "Jean-Yves Girard and Yves Lafont and Paul Taylor", 743 title = "Proofs and Types", 744 publisher = CUP, 745 year = "1989", 746 series = "Cambridge Tracts in Theoretical Computer Science, 747 vol. 7", 748 acquired = "1989-09-13", 749 OPTnote = ""} 750 751@Book{Glass:1998:SoftwareRunaways, 752 author = {Robert L. Glass}, 753 title = {Software Runaways}, 754 publisher = {Prentice Hall PTR}, 755 year = {1998}, 756 acquired = "1999-05-31", 757 OPTannote = {}} 758 759@Book{Goldblatt:1992:LogicsOf, 760 author = "R. Goldblatt", 761 title = "Logics of Time and Computation", 762 publisher = "Center for the Study of Language and Information, 763 Stanford University, California, USA", 764 year = "1992", 765 number = "7", 766 series = "CSLI Lecture Notes", 767 edition = "Second", 768 OPTnote = "", 769 OPTannote = "", 770 acquired = "1995-08-18"} 771 772@Book{Gordon:1979:TheDenotational, 773 author = "Michael J.C. Gordon", 774 title = "The Denotational Description of Programming 775 Languages. An Introduction", 776 publisher = S-V, 777 year = "1979", 778 acquired = "1984-08-08", 779 OPTnote = ""} 780 781@Book{Gram:1962:SelectedNumerical, 782 title = "Selected Numerical Methods", 783 publisher = "Copenhagen: Regnecentralen", 784 year = "1962", 785 OPTcrossref = "", 786 OPTkey = "", 787 editor = "C. Gram", 788 OPTvolume = "", 789 OPTnumber = "", 790 OPTseries = "", 791 OPTaddress = "", 792 OPTedition = "", 793 OPTmonth = "", 794 OPTnote = "", 795 OPTannote = "" 796} 797 798@Book{Gries:1981:TheScience, 799 author = "David Gries", 800 title = "The Science of Programming", 801 publisher = S-V, 802 year = "1981", 803 acquired = "1983-08-26", 804 OPTnote = ""} 805 806@Proceedings{Grossman:1993:HybridSystems, 807 title = "Hybrid Systems. (Lecture Notes in Computer Science, 808 vol. 736)", 809 year = "1993", 810 editor = "R.L. Grossman and A. Nerode and A.P. Ravn and H. Rischel", 811 publisher = S-V, 812 acquired = "1993-10-26", 813 OPTnote = ""} 814 815@Book{Hamilton:1978:Logic, 816 author = "A.G. Hamilton", 817 title = "Logic for Mathematicians", 818 publisher = CUP, 819 year = "1972", 820 acquired = "1987-02-16", 821 OPTnote = ""} 822 823@Book{Hansen:1999:IntroductionTo, 824 author = {Michael R. Hansen and Hans Rischel}, 825 title = {Introduction to Programming Using SML}, 826 publisher = A-W, 827 year = {1999}, 828 acquired = {1999-04-28}, 829 OPTnote = {}, 830 OPTannote = {} 831} 832 833@Book{Harel:1992:Algorithmics, 834 author = "D. Harel", 835 title = "Algorithmics. The Spirit of Computing", 836 publisher = A-W, 837 year = "1992", 838 edition = "Second", 839 acquired = "1993-08-12", 840 OPTnote = ""} 841 842@Proceedings{Heldal:1992:FunctionalProgramming, 843 title = "Functional Programming, Glasgow, 1991", 844 year = "1992", 845 editor = "R. Heldal and C. {Kehler Holst} and P. Wadler", 846 publisher = S-V, 847 acquired = "1992-08-03", 848 OPTnote = ""} 849 850@Book{Henderson:1980:FunctionalProgramming, 851 author = "Peter Henderson", 852 title = "Functional Programming. Application and Implementation", 853 publisher = P-H, 854 year = "1980", 855 acquired = "1985-09-13", 856 OPTnote = ""} 857 858@Book{Holmes:1998:ProgrammingWith, 859 author = "Barry Holmes", 860 title = "Programming with Java", 861 publisher = "Jones and Bartlett", 862 year = "1998", 863 acquired = "1998-05-19", 864 OPTnote = "", 865 OPTannote = "" 866} 867 868@Book{Hopcroft:1979:Introduction, 869 author = "John E. Hopcroft and Jeffrey D. Ullman", 870 title = "Introduction to Automata Theory, Languages, and Computation", 871 publisher = A-W, 872 year = "1979", 873 acquired = "1985-02-01", 874 OPTnote = ""} 875 876@Book{Horowitz:1987:ProgrammingLanguages, 877 title = "Programming Languages. A Grand Tour", 878 publisher = "Computer Science Press", 879 year = "1987", 880 editor = "Ellis Horowitz", 881 edition = "Third", 882 acquired = "1990-04-02", 883 OPTnote = ""} 884 885@Book{Hortsmann:1998:ComputingConcepts, 886 author = "Cay Horstmann", 887 title = "Computing Concepts with {Java} Essentials", 888 publisher = JWS, 889 year = "1998", 890 acquired = "1998-02-18", 891} 892 893@Proceedings{Hughes:1991:FunctionalProgramming, 894 title = "Functional Programming Languages and Computer 895 Architecture, 5th ACM Conference, Cambridge, MA, 896 August 1991. (Lecture Notes in Computer Science, 897 vol. 523)", 898 year = "1991", 899 editor = "J. Hughes", 900 publisher = S-V, 901 acquired = "1991-08-26", 902 OPTnote = ""} 903 904@Proceedings{Johnsson:1988:Implementation, 905 title = "Implementation of Lazy Functional Languages", 906 year = "1988", 907 editor = "T. Johnsson and Peyton Jones, S. and K. Karlsson", 908 publisher = "Programming Methodology Group, Chalmers University of 909 Technology", 910 address = "Gothenburg, Sweden", 911 month = "September", 912 acquired = "1990-02-01", 913 note = "PMG Report 53"} 914 915@Proceedings{Jones:1980:Semantics-Directed, 916 title = "Semantics-Directed Compiler Generation, Aarhus, 917 Denmark, January 1980. (Lecture Notes in Computer 918 Science, vol. 94)", 919 year = "1980", 920 editor = "Neil D. Jones", 921 publisher = S-V, 922 acquired = "1985-08-30", 923 OPTnote = ""} 924 925@Proceedings{Jones:1990:ESOP90, 926 title = "ESOP '90. 3rd European Symposium on Programming, 927 Copenhagen, Denmark, May 1990. (Lecture NOtes in 928 Computer Science, vol. 432)", 929 year = "1990", 930 editor = "N. Jones", 931 publisher = S-V, 932 acquired = "1990-05-09", 933 OPTnote = ""} 934 935@Book{Jones:1993:PartialEvaluation, 936 author = "N.D. Jones and C.K. Gomard and P. Sestoft", 937 title = "Partial Evaluation and Automatic Program Generation", 938 publisher = P-H, 939 year = "1993", 940 acquired = "1993-06-14", 941 isbn = "0-13-020249-5", 942 note = ""} 943 944@Proceedings{Jouannaud:1985:FunctionalProgramming, 945 title = "Functional Programming Languages and Computer 946 Architecture, Nancy, France, September 1985. 947 (Lecture Notes in Computer Science, vol. 201)", 948 publisher = "Springer-Verlag", 949 year = "1985", 950 editor = "Jean-Pierre Jouannaud", 951 acquired = "1989-12-06"} 952 953@Proceedings{Jouannaud:1985:RewritingTechniques, 954 title = "Rewriting Techniques and Applications, Dijon, France, 955 May 1985. (Lecture Notes in Computer Science, vol. 202)", 956 year = "1985", 957 editor = "Jean-Pierre Jouannaud", 958 publisher = S-V, 959 acquired = "1985-11-25", 960 OPTnote = ""} 961 962@Book{Kahaner:1989:NumericalMethods, 963 author = "D. Kahaner and C. Moler and S. Nash", 964 title = "Numerical Methods and Software", 965 publisher = P-H, 966 year = "1989", 967 acquired = "1997-02-12", 968 OPTnote = "", 969 OPTannote = ""} 970 971@Proceedings{Kahn:1987:FunctionalProgramming, 972 title = "Functional Programming Languages and Computer 973 Arcitecture, Portland, Oregon, USA, September 1987. 974 (Lecture Notes in Computer Science, vol. 274)", 975 publisher = "Springer-Verlag", 976 year = "1987", 977 editor = "Gilles Kahn", 978 acquired = "1989-12-06"} 979 980@Book{Kent:1997:Encyclopedia:37, 981 author = "", 982 title = "Encyclopedia of Computer Science and Technology", 983 publisher = "New York: Marcel Dekker", 984 year = "1997", 985 editor = "A. Kent and J.G. Williams", 986 volume = "37", 987 acquired = "1997-08-07", 988 OPTannote = "" 989} 990 991@Book{Kernighan:1984:TheUnix, 992 author = "Brian W. Kernighan and Rob Pike", 993 title = "The {Unix} Programming Environment", 994 publisher = P-H, 995 year = "1984", 996 OPTedition = "", 997 OPTmonth = "", 998 acquired = "1991-08-24", 999 OPTnote = ""} 1000 1001@Book{Kernighan:1988:TheC, 1002 author = "Brian W. Kernighan and Dennis M. Ritchie", 1003 title = "The {C} Programming Language", 1004 publisher = P-H, 1005 year = "1988", 1006 edition = "Second", 1007 OPTmonth = "", 1008 acquired = "1992-03-05", 1009 OPTnote = ""} 1010 1011@Book{Knuth:1973:FundamentalAlgorithms, 1012 author = "Donald E. Knuth", 1013 title = "Fundamental Algorithms", 1014 publisher = A-W, 1015 year = "1973", 1016 volume = "1", 1017 series = "The Art of Computer Programming", 1018 edition = "Second", 1019 acquired = "1981-12-18", 1020 OPTnote = ""} 1021 1022@Book{Knuth:1992:LiterateProgramming, 1023 author = "D.E. Knuth", 1024 title = "Literate Programming", 1025 publisher = "Center for the Study of Language and Information, 1026 Stanford University, California, USA", 1027 year = "1992", 1028 number = "27", 1029 series = "CSLI Lecture Notes", 1030 OPTnote = "", 1031 OPTannote = "", 1032 acquired = "1995-08-18"} 1033 1034@Book{Knuth:1998:SeminumericalAlgorithms, 1035 author = "Donald E. Knuth", 1036 title = "Seminumerical Algorithms", 1037 publisher = A-W, 1038 year = "1998", 1039 volume = "2", 1040 series = "The Art of Computer Programming", 1041 edition = "Third", 1042 acquired = "1998-03-11", 1043 OPTnote = "", 1044 OPTannote = ""} 1045 1046@Book{Kristensen:90:KonstruktionAf, 1047 author = "J.T. Kristensen", 1048 title = "Konstruktion af indl�seprogrammer", 1049 publisher = "Teknisk Forlag", 1050 year = "1990", 1051 OPTnote = "", 1052 OPTannote = "", 1053 acquired = "1996-05-09"} 1054 1055@Book{Kurki-Suonio:1971:Computability, 1056 author = "Reino Kurki-Suonio", 1057 title = "A Programmer's Introduction to Computability and 1058 Formal Languages", 1059 publisher = "Studentlitteratur, Lund, Sweden", 1060 year = "1971", 1061 acquired = "1982-12-02", 1062 OPTnote = ""} 1063 1064@Book{Lammers:1986:ProgrammersAt, 1065 author = "S. Lammers", 1066 title = "Programmers at Work. Interviews", 1067 publisher = "Microsoft Press", 1068 year = "1986", 1069 acquired = "1986-06-27", 1070 OPTnote = "", 1071 OPTannote = ""} 1072 1073@Book{Lamport:1986:Latex, 1074 author = "Leslie Lamport", 1075 title = "LaTeX. A Document Preparation System", 1076 publisher = "Addison-Wesley", 1077 year = "1986", 1078 acquired = "1989-10-23", 1079 OPTnote = ""} 1080 1081@Proceedings{Launchbury:1993:FunctionalProgramming, 1082 title = "Functional Programming, Glasgow, 1992", 1083 year = "1993", 1084 editor = "J. Launchbury and P. Sansom", 1085 publisher = S-V, 1086 acquired = "1993-08-13", 1087 OPTnote = ""} 1088 1089@Book{Lewis:1976:CompilerDesign, 1090 author = "P.M. {Lewis II} and D.J. Rosenkrantz and R.E. Stearns", 1091 title = "Compiler Design Theory", 1092 publisher = A-W, 1093 year = "1976", 1094 series = "The Systems Programming Series", 1095 acquired = "1980-09-02", 1096 OPTnote = ""} 1097 1098@Book{Lloyd:1984:FoundationsOf, 1099 author = "J.W. Lloyd", 1100 title = "Foundations of Logic Programming", 1101 publisher = S-V, 1102 year = "1984", 1103 acquired = "1985-08-09", 1104 OPTnote = ""} 1105 1106@Book{Lucas:1992:TheC++, 1107 author = "Paul J. Lucas", 1108 title = "The {C++} Programmer's Handbook", 1109 publisher = P-H, 1110 year = "1992", 1111 acquired = "1993-01-06", 1112 OPTnote = "", 1113 OPTannote = ""} 1114 1115@PhDThesis{Mycroft:1981:AbstractInterpretation, 1116 author = "Alan Mycroft", 1117 title = "Abstract Interpretation and Optimising 1118 Transformations for Applicative Programs", 1119 school = "University of Edinburgh", 1120 year = "1981", 1121 acquired = "1987-09-18", 1122 form = "Photocopy", 1123 note = "Report CST-15-81"} 1124 1125@Book{Milner:1980:ACalculus, 1126 author = "R. Milner", 1127 title = "A Calculus of Communicating Systems. (Lecture Notes 1128 in Computer Science, vol. 92)", 1129 publisher = S-V, 1130 year = "1980", 1131 acquired = "1986-01-21", 1132 form = "Photocopy", 1133 OPTnote = ""} 1134 1135@Book{Milner:1990:TheDefinition, 1136 author = "R. Milner and M. Tofte and R. Harper", 1137 title = "The Definition of Standard {ML}", 1138 publisher = "The MIT Press", 1139 year = "1990", 1140 OPTedition = "", 1141 acquired = "1991-08-27", 1142 OPTnote = ""} 1143 1144@Book{Milner:1991:Commentary, 1145 author = "R. Milner and M. Tofte", 1146 title = "Commentary on Standard {ML}", 1147 publisher = MIT, 1148 year = "1991", 1149 OPTedition = "", 1150 OPTmonth = "", 1151 acquired = "1991-08-18", 1152 OPTnote = ""} 1153 1154@Book{Milner:1997:TheDefinition, 1155 author = "R. Milner and M. Tofte and R. Harper and D.B. MacQueen", 1156 title = "The Definition of Standard ML (Revised)", 1157 publisher = MIT, 1158 year = "1997", 1159 acquired = "1997-07-28", 1160 OPTnote = "", 1161 OPTannote = ""} 1162 1163@Book{Milner:1999:CommunicatingAnd, 1164 author = {Robin Milner}, 1165 title = {Communicating and Mobile Systems: the $\pi$-Calculus}, 1166 publisher = CUP, 1167 year = {1999}, 1168 acquired = {1999-09-21}, 1169 OPTnote = {}, 1170 OPTannote = {} 1171} 1172 1173@Book{Myers:1993:ProgrammingWith, 1174 author = "C. Myers and C. Clack and E. Poon", 1175 title = "Programming with Standard ML", 1176 publisher = P-H, 1177 year = "1993", 1178 acquired = "1993-03-11", 1179 OPTnote = ""} 1180 1181@Book{Mughal:2000:AProgrammers, 1182 author = {Khalid A. Mughal and Rolf W. Rasmussen}, 1183 title = {A Programmer's Guide to Java Certification}, 1184 publisher = A-W, 1185 year = {2000}, 1186 acquired = "1999-10-11", 1187 OPTnote = {}, 1188 OPTannote = {} 1189} 1190 1191@Book{Nielson:1992:Semantics, 1192 author = "H.R. Nielson and F. Nielson", 1193 title = "Semantics with Applications", 1194 publisher = JWS, 1195 year = "1992", 1196 acquired = "1993-01-08", 1197 OPTnote = ""} 1198 1199@Book{Paulson:1991:ML, 1200 author = "L.C. Paulson", 1201 title = "{ML} for the Working Programmer", 1202 publisher = CUP, 1203 year = "1991", 1204 OPTedition = "", 1205 OPTmonth = "", 1206 acquired = "1991-08-18", 1207 OPTnote = ""} 1208 1209@Book{Paulson:1996:ML, 1210 author = "L.C. Paulson", 1211 title = "{ML} for the Working Programmer", 1212 publisher = CUP, 1213 year = "1996", 1214 edition = "Second", 1215 OPTmonth = "", 1216 acquired = "1996-07-10", 1217 OPTnote = ""} 1218 1219@Book{PeytonJones:1987:TheImplementation, 1220 author = "Peyton Jones, S.L.", 1221 title = "The Implementation of Functional Programming Languages", 1222 publisher = "Prentice-Hall", 1223 year = "1987", 1224 acquired = "1988-09-17", 1225 OPTnote = ""} 1226 1227@Proceedings{PeytonJones:1991:FunctionalProgramming, 1228 title = "Functional Programming, Glasgow 1990", 1229 year = "1991", 1230 editor = "Peyton Jones, S.L. and G. Hutton and C. Kehler Holst", 1231 publisher = S-V, 1232 acquired = "1991-06-24", 1233 OPTnote = ""} 1234 1235@Book{PeytonJones:1992:ImplementingFunctional, 1236 author = "Peyton Jones, S.L. and D. Lester", 1237 title = "Implementing Functional Languages", 1238 publisher = P-H, 1239 year = "1992", 1240 acquired = "1992-06-15", 1241 OPTnote = ""} 1242 1243@TechReport{Plotkin:1981:AStructural, 1244 author = "Gordon D. Plotkin", 1245 title = "A Structural Approach to Operational Semantics", 1246 institution = "DAIMI, Aarhus University, Denmark", 1247 year = "1981", 1248 number = "FN-19", 1249 acquired = "1985-12-09", 1250 OPTnote = ""} 1251 1252@Book{Potts:1996:JavaProgramming, 1253 author = "A. Potts and D.H. Friedel", 1254 title = "Java Programming Language Handbook", 1255 publisher = "Coriolis Group Books", 1256 year = "1996", 1257 acquired = "1996-12-12", 1258 OPTnote = ""} 1259 1260@Book{Press:1994:NumericalRecipes, 1261 author = "W.H. Press and others", 1262 title = "Numerical Recipes in {C}\@. The Art of Scientific 1263 Computing", 1264 publisher = CUP, 1265 year = "1994", 1266 edition = "Second", 1267 acquired = "1995-10-11", 1268 OPTnote = "", 1269 OPTannote = ""} 1270 1271@Book{Raise:1992:TheRaise, 1272 author = "The {RAISE} Language Group", 1273 title = "The {RAISE} Specification Language", 1274 publisher = P-H, 1275 year = "1992", 1276 OPTedition = "", 1277 OPTmonth = "", 1278 acquired = "1994-03-09", 1279 OPTnote = ""} 1280 1281@Book{Reppy:1999:ConcurrentProgramming, 1282 author = {John Reppy}, 1283 title = {Concurrent Programming in ML}, 1284 publisher = CUP, 1285 year = {1999}, 1286 acquired = {1999-09-21}, 1287 OPTnote = {}, 1288 OPTannote = {} 1289} 1290 1291@Book{Reynolds:1999:TheoriesOf, 1292 author = {John Reynolds}, 1293 title = {Theories of Programming Languages}, 1294 publisher = CUP, 1295 year = {1998}, 1296 acquired = {1999-09-21}, 1297 OPTnote = {}, 1298 OPTannote = {} 1299} 1300 1301@Book{Runciman:1995:ApplicationsOf, 1302 editor = "C. Runciman and D. Wakeling", 1303 title = "Applications of Functional Programming", 1304 publisher = "UCL Press, University College London, England", 1305 year = "1995", 1306 OPTnote = "", 1307 OPTannote = "", 1308 acquired = "1995-08-25" 1309} 1310 1311@Proceedings{Sannella:1994:ProgrammingLanguages, 1312 title = "Programming Languages and Systems --- ESOP'94. 5th 1313 European Symposium on Programming, Edinburgh, U.K., 1314 April 1994 (Lecture Notes in Computer Science, vol. 788)", 1315 year = "1994", 1316 editor = "D. Sannella", 1317 publisher = S-V, 1318 acquired = "1994-04-15", 1319 OPTnote = ""} 1320 1321@Book{Savitch:1993:TurboPascal, 1322 author = "W.J. Savitch", 1323 title = "Turbo Pascal", 1324 publisher = "Benjamin/Cummings Publishing", 1325 year = "1993", 1326 acquired = "1996-07-01", 1327 OPTnote = "", 1328 OPTannote = ""} 1329 1330@Book{Schmidt:1986:DenotationalSemantics, 1331 author = "David A. Schmidt", 1332 title = "Denotational Semantics", 1333 publisher = "Boston, Massachusetts: Allyn and Bacon", 1334 year = "1986", 1335 acquired = "1987-05-04", 1336 OPTnote = ""} 1337 1338@Book{Shammas:Object-OrientedProgramming, 1339 author = "N.C. Shammas", 1340 title = "Object-Oriented Programming with Borland Pascal 7", 1341 publisher = "Sams Publishing", 1342 year = "1993", 1343 acquired = "1996-07-01", 1344 OPTnote = "", 1345 OPTannote = ""} 1346 1347@Book{Skagestein:1997:BIT1B, 1348 author = "Gerhard Skagestein and Geir-Harald Strand and Borge 1349 L�vstad", 1350 title = "Informasjonsbehandling (BIT 1B)", 1351 publisher = "Oslo: Cappelen", 1352 year = "1997", 1353 acquired = "1998-09-02", 1354 OPTnote = "", 1355 OPTannote = ""} 1356 1357@Book{Spivey:1992:TheZ, 1358 author = "J.M. Spivey", 1359 title = "The {Z} Notation. A Reference Manual", 1360 publisher = P-H, 1361 year = "1992", 1362 edition = "Second", 1363 acquired = "1993-01-06", 1364 OPTnote = ""} 1365 1366@Book{Stanat:1977:DiscreteMathematics, 1367 author = "Donald F. Stanat and David F. McAllister", 1368 title = "Discrete Mathematics in Computer Science", 1369 publisher = P-H, 1370 year = "1977", 1371 acquired = "1987-12-24", 1372 OPTnote = ""} 1373 1374@Book{Stansifer:1992:MLPrimer, 1375 author = "R. Stansifer", 1376 title = "{ML} Primer", 1377 publisher = P-H, 1378 year = "1992", 1379 acquired = "1994-11", 1380 OPTnote = "", 1381 OPTannote = ""} 1382 1383@Book{Stoy:1977:DenotationalSemantics, 1384 author = "Joseph E. Stoy", 1385 title = "Denotational Semantics: The Scott-Strachey Approach 1386 to Programming Language Theory", 1387 publisher = "MIT Press", 1388 year = "1977", 1389 acquired = "1987-01-25", 1390 OPTnote = ""} 1391 1392@Book{Strobel:1994:Linux, 1393 author = "S. Strobel and T. Uhl", 1394 title = "Linux: Vom PC zur Workstation", 1395 publisher = S-V, 1396 year = "1994", 1397 acquired = "1994-04-25", 1398 OPTnote = ""} 1399 1400@Book{Stroustrup:1991:TheC++, 1401 author = "B. Stroustrup", 1402 title = "The {C++} Programming Language", 1403 publisher = A-W, 1404 year = "1991", 1405 edition = "Second", 1406 OPTnote = "", 1407 acquired = "1995-08-02"} 1408 1409@PhdThesis{Sundaresh:1991:IncrementalComputation:Thesis, 1410 author = "R.S. Sundaresh", 1411 title = "Incremental Computation via Partial Evaluation", 1412 school = "Yale University", 1413 year = "1991", 1414 address = "New Haven, Connecticut, USA", 1415 month = "December", 1416 acquired = "1992-07-17", 1417 note = "Also: Research Report YALEU/DCS/RR-889"} 1418 1419@InCollection{Tarski:1951:ADecision, 1420 author = "A. Tarski", 1421 title = "A Decision Method for Elementary Algebra and Geometry", 1422 booktitle = "Alfred Tarski. Collected Papers, vol. 3", 1423 publisher = "Birkh�user", 1424 year = "1986", 1425 pages = "297-367", 1426 editor = "S.R. Givant and R.N. McKenzie", 1427 acquired = "1993-02-17. Xerox copy, from DNLB", 1428 note = "Originally published 1951 by University of California Press"} 1429 1430@Book{Tennent:1981:PrinciplesOf, 1431 author = "R.D. Tennent", 1432 title = "Principles of Programming Languages", 1433 publisher = P-H, 1434 year = "1981", 1435 acquired = "1986-03-08", 1436 OPTnote = ""} 1437 1438@Book{Thompson:1991:TypeTheory, 1439 author = "S. Thompson", 1440 title = "Type Theory and Functional Programming", 1441 publisher = A-W, 1442 year = "1991", 1443 acquired = "1992-04-10", 1444 OPTnote = ""} 1445 1446@Book{Turner:1990:ResearchTopics, 1447 title = "Research Topics in Functional Programming", 1448 publisher = A-W, 1449 year = "1990", 1450 editor = "David A. Turner", 1451 series = "University of Texas at Austin Year of Programming Series", 1452 acquired = "1990-09-27", 1453 OPTnote = ""} 1454 1455@Book{Ullman:1994:ElementsOf, 1456 author = "J.D. Ullman", 1457 title = "Elements of {ML} Programming", 1458 publisher = P-H, 1459 year = "1994", 1460 acquired = "1994-11", 1461 OPTnote = "", 1462 OPTannote = ""} 1463 1464@Book{vanderLinden:1996:JustJava, 1465 author = "P. {van der Linden}", 1466 title = "Just Java", 1467 publisher = "SunSoft Press", 1468 year = "1996", 1469 acquired = "1996-12-12", 1470 OPTnote = ""} 1471 1472@Book{Weiss:1993:DataStructures, 1473 author = "M.A. Weiss", 1474 title = "Data Structures and Algorithm Analysis in {C}", 1475 publisher = "Benjamin/Cummings", 1476 year = "1993", 1477 acquired = "1994", 1478 OPTnote = "", 1479 OPTannote = ""} 1480 1481@Book{Weiss:1995:DataStructures, 1482 author = "M.A. Weiss", 1483 title = "Data Structures and Algorithm Analysis", 1484 publisher = "Benjamin/Cummings", 1485 year = "1995", 1486 edition = "Second", 1487 acquired = "1995-10-12", 1488 OPTnote = "", 1489 OPTannote = ""} 1490 1491@Book{Weizenbaum:1976:ComputerPower, 1492 author = "J. Weizenbaum", 1493 title = "Computer Power and Human Reason. From Judgment to 1494 Calculation", 1495 publisher = "W.H. Freeman", 1496 year = "1976", 1497 acquired = "1984-09-17", 1498 OPTnote = "", 1499 OPTannote = ""} 1500 1501@Book{Wikstroem:1987:FunctionalProgramming, 1502 author = "Wikstr�m, �ke", 1503 title = "Functional Programming Using {Standard ML}", 1504 publisher = "Prentice-Hall", 1505 year = "1987", 1506 acquired = "1988-01-13", 1507 OPTnote = ""} 1508 1509@Book{Winder:1998:DevelopingJava, 1510 author = "Russel Winder and Graham Roberts", 1511 title = "Developing Java Software", 1512 publisher = "John Wiley \& Sons", 1513 year = "1998", 1514 acquired = "1997-12-01", 1515 OPTnote = "" 1516} 1517 1518@Book{Winston:1997:OnTo, 1519 author = "P.H. Winston and S. Narasimhan", 1520 title = "On to Java", 1521 publisher = A-W, 1522 year = "1997", 1523 acquired = "1997-06-13", 1524 OPTnote = "", 1525 OPTannote = ""} 1526 1527@Book{Wirth:1976:Algorithms+Data, 1528 author = "Niklaus Wirth", 1529 title = "Algorithms + Data Structures = Programs", 1530 publisher = P-H, 1531 year = "1976", 1532 acquired = "1980-06-13", 1533 OPTnote = ""} 1534