docs/refman.bib

   1 %
   2 %  Bibliographical database in BibTeX format
   3 %
   4 @book{alpha,
   5    title = "Alpha Architecture Reference Manual",
   6    editor = "Richard L. Sites",
   7    publisher = "Digital Equipment Corporation",
   8    year = 1992
   9 }
  10
  11 @book{ms80x86,
  12    title = "Microsoft's 80386/80486 Programming Guide",
  13    author = "Ross P. Nelson",
  14    publisher = "Microsoft Press",
  15    year = 1991
  16 }
  17
  18 @book{comp-logic,
  19    title = "Logic --- A Foundation for Computer Science",
  20    author = "V. Sperschneider and G. Antoniou",
  21    publisher = "Addison-Wesley",
  22    year = 1991
  23 }
  24
  25 @book{hol,
  26    title = "Introduction to {HOL}.  A theorem proving environment for higher order logic",
  27    author = "{M. J. C. Gordon} and {T. F. Melham}",
  28    publisher = "Cambridge University Press",
  29    year = 1993
  30 }
  31
  32 @book{80386,
  33    title = "Programming the 80386",
  34    author = "John H. Crawford and Patrick P. Gelsinger",
  35    publisher = "SYBEX Inc.",
  36    year = 1987
  37 }
  38
  39 @book{Toposes,
  40    title = "Toposes, Triples and Theories",
  41    author = "M. Barr and C. Wells",
  42    publisher = "Springer-Verlag",
  43    year = 1985
  44 }
  45
  46 @book{NP,
  47    title = "Computers and Intractability.  A Guide to the Theory of NP-Completeness",
  48    author = "Michael R. Garey and David S. Johnson",
  49    publisher = "W. H. Freeman and Company",
  50    year = 1979
  51 }
  52
  53 @book{mit-ai,
  54    title = "Artificial Intelligence: An {MIT} Perspective",
  55    editor = "Patrick Henery Winston and Richard Henry Brown",
  56    publisher = "MIT Press",
  57    year = 1979
  58 }
  59
  60 @book{theory-trends,
  61    title = "Trends in Theoretical Computer Science",
  62    editor = "{Egon B\"{o}rger}",
  63    publisher = "Computer Science Press",
  64    year = 1988
  65 }
  66
  67 @book{theory-rogers,
  68    title = "Theory of Recursive Functions and Effective Computability",
  69    author = "Hartley Rogers, Jr.",
  70    publisher = "MIT Press",
  71    year = 1987
  72 }
  73
  74 @book{lambda,
  75    title = "The Lambda Calculus.   Its Syntax and Semantics",
  76    author = "H. P. Barendregt",
  77    publisher = "Elsevier Sciend Publishing Company, Inc.",
  78    year = 1984
  79 }
  80
  81 @book{comp-geometry,
  82    title = "Computational Geometry.  An Introduction",
  83    author = "Franco P. Preparata and Michael Ian Shamos",
  84    publisher = "Springer-Verlag",
  85    year = 1985
  86 }
  87
  88 @book{abs-algebra,
  89    title = "Abstract Algebra",
  90    author = "David S. Dummit and Richard M. Foote",
  91    publisher = "Prentice Hall",
  92    year = 1991
  93 }
  94
  95 @book{common-lisp,
  96    title = "Common Lisp.  The Language",
  97    author = "Guy L. Steele Jr.",
  98    publisher = "Digital Press",
  99    year = 1990
 100 }
 101
 102 @manual{osf-api,
 103    title = "Operating System Programming Interfaces Volume",
 104    institution = "Open Software Foundation",
 105    publisher = "Prentice Hall",
 106    key = "OSF-API",
 107    year = 1990
 108 }
 109
 110 @book{proofs-types,
 111    title = "Proofs and Types",
 112    author = "Jean-Yves Girard and Yves Lafont and Paul Taylor",
 113    publisher = "Cambridge University Press",
 114    year = 1989
 115 }
 116
 117 @book{n-logic,
 118    title = "Many-sorted Logic and its Applications",
 119    editor = "K. Meinke and J. V. Tucker",
 120    publisher = "John Wiley \& Sons",
 121    year = 1993
 122 }
 123
 124 @book{logic-frameworks,
 125    title = "Logical Frameworks",
 126    editor = "G\'{e}rard Huet and G. Plotkin",
 127    publisher = "Cambridge University Press",
 128    year = 1991
 129 }
 130
 131 @book{set-theory,
 132    title = "Elements of Set Theory",
 133    author = "Herbert B. Enderton",
 134    publisher = "Academic Press, Inc.",
 135    year = 1977
 136 }
 137
 138 @proceedings{FPCA-1991,
 139    title = "Functional Programming Languages and Computer Architecture",
 140    editor = "J. Hughes",
 141    publisher = "Springer-Verlag",
 142    year = 1991
 143 }
 144
 145 @book{clisp,
 146    title = "Common {LISP}craft",
 147    author = "Robert Wilensky",
 148    publisher = "W. W. Norton \& Company",
 149    year = 1986
 150 }
 151
 152 @book{complexity-II,
 153    title = "Structural Complexity II",
 154    author = "Jos\'{e} Luis Balc\'{a}zar and Josep D\'{i}az and Joaquim Gabarr\'{o}",
 155    publisher = "Springer-Verlag",
 156    year = 1990
 157 }
 158
 159 @book{modula-2,
 160    title = "Programming In {MODULA}-2",
 161    author = "Niklaus Wirth",
 162    publisher = "Springer-Verlag",
 163    year = 1985
 164 }
 165
 166 @book{expert-sys,
 167    title = "Building Expert Systems",
 168    editor = "Frederick Hayes-Roth and Donald A. Waterman and Douglas B. Lenat",
 169    publisher = "Addison-Welsey",
 170    year = 1983
 171 }
 172
 173 @book{ML-prog,
 174    title = "Functional Programming Using Standard {ML}",
 175    author = "{\o{A}ke Wikstr\"{o}m}",
 176    publisher = "Prentice Hall",
 177    year = 1987
 178 }
 179
 180 @book{functional-prog,
 181    title = "Funtional Programming.  Application and Implementation",
 182    author = "Peter Henderson",
 183    publisher = "Prentice Hall",
 184    year = 1980
 185 }
 186
 187 @book{theory-computability,
 188    title = "The Theory of Computability",
 189    author = "R. Sommerhalder and S. C. van Westrhenen",
 190    publisher = "Addison-Welsey",
 191    year = 1988
 192 }
 193
 194 @book{deductive-foundation,
 195    title = "The Deductive Foundation of Computer Programming",
 196    author = "Zohar Manna and Richard Waldinger",
 197    publisher = "Addison-Welsey",
 198    year = 1993
 199 }
 200
 201 @book{category-types,
 202    title = "Categories, Types, and Structures",
 203    author = "Andrea Asperti and Guiseppe Longo",
 204    publisher = "MIT Press",
 205    year = 1991
 206 }
 207
 208 @book{C++,
 209    title = "The C++ Programming Language.  Second Edition",
 210    author =  "Bjarne Stroustrup",
 211    publisher = "Addison-Welsey",
 212    year = 1991
 213 }
 214
 215 @book{partial-eval,
 216    title = "Partial Evaluation and Automatic Program Generation",
 217    author = "Neil D. Jones and Carsten K. Gomard and Peter Sestoft",
 218    publisher = "Prentical Hall",
 219    year = 1993
 220 }
 221
 222 @book{lang-theory,
 223    title = "An Introduction to Formal Language Theory",
 224    author = "Robert N. Moll and Michael A. Arbib and A. J. Kfoury",
 225    publisher = "Springer-Verlag",
 226    year = 1988
 227 }
 228
 229 @book{category-theory,
 230    title = "Category Theory for Computing Science",
 231    author = "Michael Barr and Charles Wells",
 232    publisher = "Prentice Hall",
 233    year = 1990
 234 }
 235
 236 @book{TGR,
 237    title = "Term Graph Rewriting.  Theory and Practice",
 238    editor = "M. R. Sleep and M. J. Plasmeijer and M. C. J. D. van Eekelen",
 239    publisher = "John Wiley \& Sons",
 240    year = 1993
 241 }
 242
 243 @book{db-sys,
 244    title = "Principles of Database Systems",
 245    author = "Jeffrey D. Ullman",
 246    publisher = "Computer Science Press",
 247    year = 1982
 248 }
 249
 250 @proceedings{spec-db,
 251    title = "Specifications of Database Systems",
 252    editor = "David J. Harper and Moira C. Norrie.  Glasgow 1991",
 253    publisher = "Springer-Verlag",
 254    year = 1991
 255 }
 256
 257 @book{mach,
 258    title = "Programming under {MACH}",
 259    author = "Joseph Boykin and David Kirschen and Alan Langerman and Susan LoVerso",
 260    publisher = "Addison-Welsey",
 261    year = 1993
 262 }
 263
 264 @book{data-models,
 265    title = "Data Models, Database Languages and Database Management Systems",
 266    author = "Gottfried Vossen",
 267    publisher = "Addison-Welsey",
 268    year = 1991
 269 }
 270
 271 @book{prog-transformation,
 272    title = "Specification and Transformation of Programs.  A Formal Approach to Software Development",
 273    author = "Helmut A. Partsch",
 274    publisher = "Springer-Verlag",
 275    year = 1990
 276 }
 277
 278 @book{types-fun,
 279    title = "Type Theory and Functional Programming",
 280    author = "Simon Thompson",
 281    publisher = "Addison-Welsey",
 282    year = 1991
 283 }
 284
 285 @book{LCF,
 286    title = "Logic and Computation.  Interactive proof with Cambridge {LCF}",
 287    author = "L. C. Paulson",
 288    publisher = "Cambridge University Press",
 289    year = 1987
 290 }
 291
 292 @book{sybase,
 293    title = "A Guide to Sybase and SQL Server",
 294    author = "D. McGoveran and C. J. Date",
 295    publisher = "Addison-Welsey",
 296    year = 1992
 297 }
 298
 299 @book{db-intro,
 300    title = "An Introduction to Database Systems",
 301    author = "Bipin C. Desai",
 302    publisher = "West Publishing Company",
 303    year = 1990
 304 }
 305
 306 @book{concurrency,
 307    title = "Concurrency Control and Recovery in Database Systems",
 308    author = "Philip A. Bernstein and Vassos Hadzilacos and Nathan Goodman",
 309    publisher = "Addison-Wesley",
 310    year = 1987
 311 }
 312
 313 @book{internet,
 314    title = "The Whole Internet.  User's Guide \& Catalog",
 315    author = "Ed Krol",
 316    publisher = "O'Reilly \& Associates, Inc.",
 317    year = 1992
 318 }
 319
 320 @manual{ps-ref,
 321    title = "{PostScript} Langauge Reference Manual",
 322    institution = "Adobe Systems Incorporated",
 323    publisher = "Addison-Wesley",
 324    year = 1990
 325 }
 326
 327 @book{db-readings,
 328    title = "Readings in Database Systems",
 329    editor = "Michael Stonebraker",
 330    publisher = "Morgan Kaufman",
 331    year = 1988
 332 }
 333
 334 @book{SGML,
 335    title = "{SGML}  An Author's Guide to the {Standard Generalized Markup Language}",
 336    author = "Martin Bryan",
 337    publisher = "Addison-Wesley",
 338    year = 1988
 339 }
 340
 341 @book{temporal-db,
 342    title = "Temporal Databases.  Theory, Design, and Implementation",
 343    author = "Adbullah Uz Tansel and James Clifford and Shashi Gadia and Sushil Jajodia and Arie Segev and Richard Snodgrass",
 344    publisher = "The Benjamin/Cummings Publishing Company, Inc.",
 345    year = 1993
 346 }
 347
 348 @book{algo-algebra,
 349    title = "Algorithmic Algebra",
 350    author = "Bhubaneswar Mishra",
 351    publisher = "Springer-Verlag",
 352    year = 1993
 353 }
 354
 355 @book{rpc,
 356    title = "Power Programming with {RPC}",
 357    author = "John Bloomer",
 358    publisher = "O'Reilly \& Associates, Inc.",
 359    year = 1991
 360 }
 361
 362 @book{readings-odms,
 363    title = "Readings in Object-Oriented Database Systems",
 364    editor = "Stanle B. Zdonik and David Maier",
 365    publisher = "Morgan Kaufman",
 366    year = 1990
 367 }
 368
 369 @book{comp-algo,
 370    title = "The Design and Analysis of Computer Algorithms",
 371    author = "Alfred V. Aho and  John E. Hopcroft and Jeffrey D. Ullman",
 372    publisher = "Addison-Wesley",
 373    year = 1974
 374 }
 375
 376 @manual{ps-cookbook,
 377    title = "{PostScript} Language.  Tutorial and Cookbook",
 378    institution = "Adobe Systems Incorporated",
 379    publisher = "Addison-Wesley",
 380    year = 1986
 381 }
 382
 383 @book{semantics-app,
 384     title = "Semantics with Applications.  A Formal Introduction",
 385     author = "Hanne Riis Nielson and Flemming Nielson",
 386     publisher = "John Wiley \& Sons",
 387     year = 1992
 388 }
 389
 390 @book{dbkb,
 391    title = "Database and Knowledge-base Systems.  Volume I and II.",
 392    author = "Jeffrey D. Ullman",
 393    publisher = "Computer Science Press",
 394    year = 1989
 395 }
 396
 397 @proceedings{oopsla-91,
 398    title = "Conference on Object-Oriented Programming Systems, Languages, and Applications",
 399    institution = "ACM",
 400    publisher = "ACM Press",
 401    year = 1991
 402 }
 403
 404 @proceedings{dbpl,
 405    title = "Database Programming Languages: Bulk Types \& Persistent Data",
 406    editor = "Paris Kanellakis and Joachim W. Schmidt",
 407    publisher = "Morgan Kaufman",
 408    year = 1991
 409 }
 410
 411 @book{unix-prog,
 412    title = "Advanced Unix Programming",
 413    author = "Marc J. Rochkind",
 414    publisher = "Prentice Hall",
 415    year = 1985
 416 }
 417
 418 @book{smalltalk-advice,
 419    title = "Smalltalk-80.  Bits of History, Words of Advice",
 420    editor = "Glenn Krasner",
 421    institution = "Xerox Palo Alto Research Center",
 422    publisher = "Addison-Wesley",
 423    year = 1983
 424 }
 425
 426 @book{eiffel,
 427    title = "Object-oriented Software Construction",
 428    author = "Bertrand Meyer",
 429    publisher = "Prentice Hall",
 430    year = 1988
 431 }
 432
 433 @proceedings{HOPL-II,
 434    title = "History of Programming Language Conference",
 435    organization = "ACM",
 436    publisher = "ACM Press",
 437    year = 1993
 438 }
 439
 440 @journal{JACM-93-5,
 441    title = "Jornal of the ACM",
 442    publisher = "ACM Press",
 443    year = 1993,
 444    volume = 5
 445 }
 446
 447 @proceedings{PADD-91,
 448     title = "Proceedings of the ACM/ONR Workshop of Parallel and Distributed Debugging",
 449     publisher = "ACM Press",
 450     year = 1991
 451 }
 452
 453 @proceedings{PEPM-91,
 454    title = "Proceedings of the Symposium on Partial Evaluation and Semantics-Based Programming Manipulation",
 455    publisher = "ACM Press",
 456    year = 1991
 457 }
 458
 459 @book{smalltalk-80,
 460    title = "Smalltalk-80.  The Language and Its Implementation",
 461    author = "Adele Goldberg and David Robson",
 462    institution = "Xerox Palo Alto Research Center",
 463    publisher = "Addison-Wesley",
 464    year = 1983
 465 }
 466
 467 @book{axiom-set,
 468    title = "Axiomatic Set Theory",
 469    author = "Paul Bernays",
 470    publisher = "Dover Publications, Inc.",
 471    year = 1968
 472 }
 473
 474
 475 @book{sql2-standard,
 476    title = "A Guide to the {SQL} Standard",
 477    author = "C. J. Date and Hugh Darwen",
 478    publisher = "Addison-Wesley",
 479    year = 1993
 480 }
 481
 482 @book{query-processing,
 483    title = "Query Processing for Advanced Database Systems",
 484    editor = "Johann Christoph Freytag and David Maier and Gottfried Vossen",
 485    publisher = "Morgan Kaufmann",
 486    year = 1994
 487 }
 488 @book{LaTeX,
 489    author = "Leslie Lamport",
 490    title  = "{\LaTeX \rm:} {A} Document Preparation System",
 491    publisher = "Addison-Wesley",
 492    year = 1986
 493 }
 494
 495 @book{LD-1991,
 496    author = "Harry R. Lewis and Larry Deneberg",
 497    title  = "Data Structures And Their Algorithms",
 498    publisher = "Harper-Collins",
 499    year = 1991
 500 }
 501
 502 @book{Stevens-1990,
 503    author = "W. Richard Stevens",
 504    title  = "UNIX Network Programming",
 505    publisher = "Prentice Hall",
 506    year = 1990
 507 }
 508
 509 @book{Buchi-1989,
 510    author = "J. Richard Buchi",
 511    title = "Finite Automata, Their Algebras and Grammars",
 512    publisher = "Springer-Verlag",
 513    year = 1989
 514 }
 515
 516 @book{Plauger-1992,
 517    author = "P. J. Plauger",
 518    title = "The Standard C Library",
 519    publisher = "Prentice-Hall",
 520    year = 1992
 521 }
 522
 523 @book{Rogers-1967,
 524    author = "H. {Rogers Jr.}",
 525    title  = "Theory of Recursive Functions and Effective Computability",
 526    publisher = "McGraw-Hill",
 527    year = 1967
 528 }
 529
 530 @book{Plauger-1992,
 531    author = "P.J. Plauger",
 532    title  = "The Standard C Library",
 533    publisher = "Prentice Hall",
 534    year = 1992
 535 }
 536
 537 @book{FL-1988,
 538    author = "Charles N. Fischer and Richard J. {LeBlanc Jr.}",
 539    title = "Crafting A Compiler",
 540    publisher = "Benjamin/Cummings Publishing Co. Inc",
 541    year = 1988
 542 }
 543
 544 @book{Dragon-book,
 545    author = "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
 546    title = "Compilers: Principles, Techniques and Tools",
 547    publisher = "Addison-Wesley",
 548    year = 1986
 549 }
 550
 551 @book{Literate-Programming,
 552    author = "Donald Knuth",
 553    title = "Literate Programming",
 554    publisher = "Center For The Study Of Language and Information",
 555    year = 1992
 556 }
 557
 558 @book{Z-intro,
 559    author = "Ben Potter, Jane Sinclair and David Till",
 560    title = "An Introduction to Formal Specification and Z",
 561    publisher = "Prentice Hall",
 562    year = 1991
 563 }
 564
 565 @book{Z-ref,
 566    author = "J.M. Spivey",
 567    title = "The Z Notation, A Reference Manual",
 568    publisher = "Prentice Hall",
 569    year = 1989
 570 }
 571
 572 @book{Logic-intro,
 573    author = "Elliott Mendelson",
 574    title = "Introduction to Mathematical Logic",
 575    publisher = "Wadsworth Advanced books \& Software",
 576    year = 1979
 577 }
 578
 579 @book{Alg-semantics,
 580    author = "Ernest G. Manes and Michael A. Arbib",
 581    title = "Algebraic Approaches to Program Semantics",
 582    publisher = "Springer-Verlag",
 583    year = 1986
 584 }
 585
 586 @book{Process-algebra,
 587    author = "J.C.M. Baeten and W.P. Weijland",
 588    title = "Process Algebra",
 589    publisher = "Cambridge University Press",
 590    year = 1990
 591 }
 592
 593 @book{CSP,
 594    author = "C.A.R Hoare",
 595    title = "Communicating sequential processes",
 596    publisher = "Prentice Hall International",
 597    year = 1985
 598 }
 599
 600 @book{CCS,
 601    author = "Robin Milner",
 602    title = "A calculus of communicating systems",
 603    publisher = "Springer Verlag",
 604    year = 1980
 605 }
 606
 607 @book{Concurrency-theory,
 608    author = "Christos Papadimitriou",
 609    title = "The Theory of Database Concurrency Control",
 610    publisher = "Computer Science Press",
 611    year = 1986
 612 }
 613
 614 @book{Algorithms,
 615    author = "Gaston H. Gonnet",
 616    title = "Handbook of Algorithms and Data Structures",
 617    publisher = "Addison-Wesley",
 618    year = 1984
 619 }
 620
 621 @book{Lazy-Func,
 622    author = "Simon L. Peyton Jones",
 623    title = "The Implementation Of Functional Programming Languages",
 624    publisher = "Prentice-Hall International",
 625    year = 1987
 626 }
 627
 628 @book{Func-Prog,
 629    author = "Field and Harrison",
 630    title = "Functional Programming",
 631    publisher = "Prentice-Hall",
 632    year = 1989
 633 }
 634
 635 @book{MIPS,
 636    author = "Gerry Kane and Joe Heinrich",
 637    title = "MIPS RISC Architecture",
 638    publisher = "Prentice-Hall",
 639    year = 1992
 640 }
 641
 642 @book{Continuations,
 643   author = "Andrew W. Appel",
 644   title = "Compiling with Continuations",
 645   publisher = "Cambridge University Press",
 646   year = 1992
 647 }
 648
 649 @book{Concrete-math,
 650   author = "Knuth and Graham",
 651   title = "Concrete Mathematics",
 652   publisher = "???",
 653   year = 1990
 654 }
 655
 656 @book{Comp-arch,
 657   author = "Hennessy",
 658   title = "Computer architecture: A qualitative approach",
 659   publisher = "???",
 660   year = "???"
 661 }
 662
 663 @book{Denotational-semantics,
 664   author = "Stoy and Strachey",
 665   title = "Denotational semantics",
 666   publisher = "???",
 667   year = "???"
 668 }
 669
 670 @book{Relational-theory,
 671   author = "Atzeni and De Antonellis",
 672   title = "Relational Database Theory",
 673   publisher = "The Benjammin/Cummings publishing company, Inc.",
 674   year = 1993
 675 }
 676
 677 @book{Database,
 678   author = "Jeffrey D. Ullman",
 679   title = "Principles of Database Systems",
 680   publisher = "Computer Science Press",
 681   year = 1982
 682 }
 683
 684 @book{SML-def,
 685    author = "Robin Miller, Mads Tofte and Robert Harper",
 686    title = "The Definition of Standard {ML}",
 687    publisher = "The MIT Press",
 688    year = 1990
 689 }
 690
 691 @techreport{SML,
 692    author = "Robert Harper and David MacQueen and Robin Milner",
 693    title = "Standard {ML}",
 694    institution = "Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University",
 695    year =  1986,
 696    type = "Report",
 697    number = "ECS-LFCS-86-2"
 698 }
 699
 700 @manual{Enscribe,
 701    title = "Enscribe Programmer's Guide",
 702    organization = "Tandem Computers Inc.",
 703    publisher = "Tandem Computers Inc.",
 704    year = 1991
 705 }
 706
 707 @manual{NSSQL,
 708    title = "NonStop SQL Reference Manual",
 709    organization = "Tandem Computers Inc.",
 710    publisher = "Tandem Computers Inc.",
 711    year = 1991
 712 }
 713
 714 @manual{NSSQL-C,
 715    title = "NonStop SQL Programming Reference Manual for C",
 716    organization = "Tandem Computers Inc.",
 717    publisher = "Tandem Computers Inc.",
 718    year = 1991
 719 }
 720
 721 @manual{proc-calls,
 722    title = "System Procedure Calls Reference Manual, volume 1 and 2",
 723    organization = "Tandem Computers Inc.",
 724    publisher = "Tandem Computers Inc.",
 725    year = 1991
 726 }
 727
 728 @manual{DDL,
 729    title = "Data Definition Language Reference Manual",
 730    organization = "Tandem Computers Inc.",
 731    publisher = "Tandem Computers Inc.",
 732    year = 1991
 733 }
 734
 735 @manual{Tandem-TCPIP,
 736    title = "Tandem TCP/IP Programming Manual",
 737    organization = "Tandem Computers Inc.",
 738    publisher = "Tandem Computers Inc.",
 739    year = 1990
 740 }
 741
 742 @techreport{twig,
 743    title = "Twig Reference Manual",
 744    author = "S. W. K. Tjiang",
 745    institution = "AT\&T Bell Laboratories",
 746    year =  1986
 747 }
 748
 749 @book{GraphBase,
 750   author = "Donald E. Knuth",
 751   title = "The {Standford GraphBase}, a Platform for Combinatorial Computing",
 752   publisher = "Addison-Welsey",
 753   year = 1993
 754 }
 755
 756 @book{Perl,
 757    title = "The Perl Programming Language",
 758    author = "Larry Wall",
 759    publisher = "O'Reilly \& Associates, Inc.",
 760    year = 1991
 761 }
 762 @article{twoway,
 763    author="Maxime Crochemore and Dominique Perrin",
 764    title="Two-Way String-Matching",
 765    journal="Journal of the Association for Computing Machinary",
 766    year=1991,
 767    month=July,
 768    volume=38,
 769    number=3,
 770    publisher="ACM Press"
 771 }
 772
 773 @article{subseq,
 774    author="Wilfred J. Hansen",
 775    title="Subsequence References: First-Class Values for Substrings",
 776    journal="ACM Transaction on Programming Languages and Systems",
 777    year=1992,
 778    month=oct,
 779    pages="471-489",
 780    volume=14,
 781    number=4,
 782    publisher="ACM Press"
 783 }
 784
 785 @article{inc-lex,
 786    author="J. Heering, P. Klint and J. Rekers",
 787    title="Incremental Generation of Lexical Scanners",
 788    journal="ACM Transaction on Programming Languages and Systems",
 789    year=1992,
 790    month=oct,
 791    pages="490-520",
 792    volume=14,
 793    number=4,
 794    publisher="ACM Press"
 795 }
 796
 797 @article{bool-diag,
 798    author="Randal E. Bryant",
 799    title="Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams",
 800    journal="ACM Computing Surveys",
 801    year=1992,
 802    month=September,
 803    pages="293-318",
 804    volume=24,
 805    number=3,
 806    publisher="ACM Press"
 807 }
 808
 809 @book{text-compress,
 810    author="Timothy C. Bell and John G. Cleary and Ian H. Witten",
 811    title="Text Compression",
 812    year=1990,
 813    publisher="Prentice Hall"
 814 }
 815
 816 @article{RSA,
 817    author = "R. L. Rivest and A. Shamir and L. Adleman",
 818    title = "A method for obtaining digital signatures and public key
 819             crytosystems.",
 820    journal = "Communication of the ACM.",
 821    publisher = "ACM Press",
 822    year = 1978,
 823    volume = 21,
 824    number = 2
 825 }
 826
 827 @book{number-theory,
 828    author = "Hua Loo Keng",
 829    title = "Introduction to Number Theory",
 830    year = 1982,
 831    publisher = "Springer-Verlag"
 832 }
 833
 834 @article{random-algorithms,
 835    author = "Rajiv Gupta and Scott A. Smolka and Shaji Bhaskar",
 836    title = "On Randomization in Sequential and Distributed Algorithm",
 837    journal = "ACM Computing Surveys",
 838    year = 1994,
 839    month = March,
 840    volume = 26,
 841    number = 1,
 842    publisher = "ACM Press"
 843 }
 844
 845 @article{tree-matching,
 846    author = "Christoph H. Hoffmann and Michael J. O'Donnell",
 847    title = "Pattern Matching in Trees",
 848    journal = "Journal of the ACM",
 849    year = 1982,
 850    month = January,
 851    volume = 29,
 852    number = 1,
 853    pages = "68-95",
 854    publisher = "ACM Press"
 855 }
 856
 857 @article{codegen-with-trees,
 858    author = "Alfred V. Aho and Mahadevan Ganapathi and Steven W. K. Tjiang",
 859    title = "Code Generation Using Tree Matching and Dynamic Programming",
 860    journal = "ACM Transactions on Programming Languages and Systems",
 861    year = 1989,
 862    month = oct,
 863    volume = 11,
 864    number = 4,
 865    pages = "491-516",
 866    publisher = "ACM Press"
 867 }
 868
 869 @article{AC,
 870    author = "Alfred V. Aho and Margaret J. Corasick",
 871    title = "Efficient String Matching: An Aid to Bibliographic Search",
 872    journal = "Communication of the ACM",
 873    year = 1975,
 874    month = June,
 875    volume = 18,
 876    number = 6,
 877    publisher = "ACM Press",
 878 }
 879
 880 @article{KMP,
 881    author = "Donald E. Knuth and James H. Morris, Jr. and Vaughan R. Pratt",
 882    title = "Fast Pattern Matching in Strings",
 883    journal = "SIAM Journal on Computing",
 884    year = 1977,
 885    month = June,
 886    volume = 6,
 887    number = 2,
 888    publisher = "Society for Industrial and Applied Mathematics"
 889 }
 890
 891 @article{BM,
 892    author = "Robert S. Boyer and J. Strother Moore",
 893    title = "A Fast String Searching Algorithm",
 894    journal = "Communications of the ACM",
 895    year = 1977,
 896    month = oct,
 897    volume = 20,
 898    number = 10,
 899    publisher = "ACM Press"
 900 }
 901
 902 @article{Chase87,
 903    author = "David R. Chase",
 904    title = "An Imporvement to Bottom-up Tree Pattern Matching",
 905    journal = "Proceedings Fourteenth Annual ACM Symposium on Principles
 906               of Programming Languages",
 907    year = 1987,
 908    pages = "168-177",
 909    publisher = "ACM Press"
 910 }
 911
 912 @article{Lippe,
 913    author = "Ernst Lippe",
 914    title = "Generating Tables for Bottom-up Matching",
 915    journal = "Proceedings Rewriting Techniques and Applications LNCS",
 916    year = 1991,
 917    pages = "274-288",
 918    publisher = "Springer-Verlag"
 919 }
 920
 921 @book{comp-vlsi,
 922    author = "Jeffrey D. Ullman",
 923    title = "Computational Aspects of VLSI",
 924    year = 1984,
 925    publisher = "Computer Science Press"
 926 }
 927
 928 @techreport{CMM,
 929    title  = "A Customisable Memory Management Framework",
 930    author = "Guiseppe Attardi and Tito Flagella",
 931    institution = "University of Pisa"
 932 };
 933
 934 @techreport{Mostly-copying,
 935    title = "Compacting garbage collection with ambiguous roots",
 936    author = "Joel F. Bartlett",
 937    number = "88/2",
 938    institution = "DEC Western Research Laboratory, Palo Alto, California",
 939    month = "Febrarry",
 940    year  = 1988
 941 };
 942
 943 @techreport{Gen-mostly-copying,
 944    title = "Mostly-copying collection picks up generations and {C++}",
 945    author = "Joel F. Bartlett",
 946    number = "TN-12",
 947    institution = "DEC Western Research Laboratory, Palo Alto, California",
 948    month = oct,
 949    year  = 1989
 950 };
 951
 952 @article{Boehm,
 953    title = "Space Efficient Conservative Garbage Collection",
 954    author = "Hans-Juergen Boehm",
 955    journal = "ACM SIGPLAN PLDI",
 956    year = 1993,
 957    pages = "197-206"
 958 }
 959
 960 @techreport{Safe-C++-GC,
 961    title = "Safe, efficient garbage collection for {C++}",
 962    author = "J.R. Ellis and D.L. Detlefs",
 963    number = "CSL-93-4",
 964    institution = "Xerox Parc",
 965    year = 1993
 966 };
 967
 968 @techreport{Edelson92,
 969    title = "Comparing Two Garbage Collectors for {C++}",
 970    author = "Daniel R. Edelson",
 971    number = "USCS-CRL-93-20",
 972    institution = "University of California at Santa Cruz",
 973    year = 1992
 974 };
 975
 976 @article{Chase87,
 977    author = "David R. Chase",
 978    title = "An Improvement to Bottom-up Tree Pattern Matching",
 979    journal = "Proceedings Fourteenth Annual ACM Symposium on Principles
 980               of Programming Languages",
 981    year = 1987,
 982    pages = "168-177",
 983    publisher = "ACM Press"
 984 }
 985
 986 @article{Lippe,
 987    author = "Ernst Lippe",
 988    title = "Generating Tables for Bottom-up Matching",
 989    journal = "Proceedings Rewriting Techniques and Applications LNCS",
 990    year = 1991,
 991    pages = "274-288",
 992    publisher = "Springer-Verlag"
 993 }
 994
 995
 996
 997 @techreport{vcg,
 998    title="Graph Layout through the {VCG} Tool",
 999    author="Georg Sander",
1000    number="A03/94",
1001    institution={Universit\"{a}t des Saarlandes},
1002    year = 1994,
1003    month=oct
1004 }
1005
1006 @manual{vcg-manual,
1007    title="{VCG}: Visualization of Compiler Graphs (v.1.30)",
1008    author="Georg Sander",
1009    institution={Universit\"{a}t des Saarlandes},
1010    year=1995
1011 }
1012
1013 @techreport{flex,
1014   author = "V. Paxson",
1015   title = "Using flex --- A Fast Lexical Analyzer",
1016   institution = "The Regents of the University of California",
1017   year = 1990,
1018   month = "May"
1019 }
1020
1021 @techreport{PCCTS,
1022   author = "T. Parr and H. Dietz and W. Cohen",
1023   title = "{PCCTS} Reference Manual",
1024   number = "TR-EE 90-14",
1025   year = 1991,
1026   month = "August",
1027   institution = "Puerdue University, West Lafayette, Indiana"
1028 }
1029
1030 @book{Object-Patterns,
1031    author = "Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",
1032    title = "Design Patterns: Elements of Reusable Object-Oriented Software",
1033    year = 1995,
1034    publisher = "Addison-Wesley"
1035 }
1036
1037 @techreport{lex,
1038   author="M. E. Lesk",
1039   title = "{LEX}: a lexical analyzer generator",
1040   institution = "AT\&T Bell Laboratories, Murray Hill, N.J.",
1041   year = 1975,
1042   number = "39"
1043 }
1044
1045 @article{tree-matching,
1046    author = "Christoph H. Hoffmann and Michael J. O'Donnell",
1047    title = "Pattern Matching in Trees",
1048    journal = "Journal of the ACM",
1049    year = 1982,
1050    month = "January",
1051    volume = 29,
1052    number = 1,
1053    pages = "68-95",
1054    publisher = "ACM Press"
1055 }
1056
1057 @article{AC,
1058    author = "Alfred V. Aho and Margaret J. Corasick",
1059    title = "Efficient String Matching: An Aid to Bibliographic Search",
1060    journal = "Communication of the ACM",
1061    year = 1975,
1062    month = June,
1063    volume = 18,
1064    number = 6,
1065    publisher = "ACM Press",
1066 }
1067
1068 @article{inc-lex,
1069    author="J. Heering, P. Klint and J. Rekers",
1070    title="Incremental Generation of Lexical Scanners",
1071    journal="ACM Transaction on Programming Languages and Systems",
1072    year=1992,
1073    month=oct,
1074    pages="490-520",
1075    volume=14,
1076    number=4,
1077    publisher="ACM Press"
1078 }
1079
1080 @article{bool-diag,
1081    author="Randal E. Bryant",
1082    title="Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams",
1083    journal="ACM Computing Surveys",
1084    year=1992,
1085    month=September,
1086    pages="293-318",
1087    volume=24,
1088    number=3,
1089    publisher="ACM Press"
1090 }
1091
1092 @book{Perl,
1093    title = "The Perl Programming Language",
1094    author = "Larry Wall",
1095    publisher = "O'Reilly \& Associates, Inc.",
1096    year = 1991
1097 }
1098 @techreport{twig,
1099    title = "Twig Reference Manual",
1100    author = "S. W. K. Tjiang",
1101    institution = "AT\&T Bell Laboratories",
1102    year =  1986
1103 }
1104
1105 @book{SETL,
1106   title="Programming with Sets: An Introduction to {SETL}",
1107   author="J. Schwartz and R. Dewar and D. Dubinsky and E. Schonberg",
1108   publisher="Springer-Verlag",
1109   year=1986
1110 }
1111
1112 @article{real-time-SETL,
1113   title="Real-time Simulation of a Set Machine on a {RAM}",
1114   author="R. Paige",
1115   journal="In N. Janicki and W. Koczkodaj, editor,
1116      Computing and Information",
1117   volume="II",
1118   pages="69--73",
1119   publisher="Canadian Scholars' Press, Toronto",
1120   month=may,
1121   year=1989
1122 }
1123
1124 @article{subtype-SETL,
1125   title="Type transofrmation and data structure choice",
1126   author="J. Cai and P. Facon and F. Henglein and R. Paige and E. Schonberg",
1127   journal="In B. Moeller, editor, Constructing Programs From Specifications",
1128   pages="126--164",
1129   publisher="North-Holland, Amsterdam",
1130   year=1991
1131 }
1132
1133 @article{LRCS,
1134   title="The Formal Reconstruction and Speedup
1135   of the Linear Time Fragment of Willard's Relational Calculus Subset",
1136   author="Deepak Goyal and Bob Paige",
1137   journal="IFIP TC2 Working Conf. Algorithmic Languages and Calculi",
1138   month=feb,
1139   year=1997
1140 }