@comment{This file has been generated by Pybliographer}


@Book{Ah86,
  Author         = "A. V. Aho and R. Sethi and J. D. Ullman",
  Title          = "Compilers principles, techniques, and tools",
  Publisher      = "Addison-Wesley",
  Address        = "Reading, MA",
  year           = 1986
}

@Book{Mu97,
  Author         = {Steven S. Muchnick},
  Title          = {Advanced compiler design and implementation},
  Publisher      = {Morgan Kaufmann Publishers Inc.},
  Address        = {San Francisco, CA, USA},
  year           = 1997
}

@Book{Wa85,
  Author         = {W. M. Waite and G. Goos},
  Title          = {Compiler Construction},
  Publisher      = {Springer-Verlag New York, Inc.},
  Address        = {Secaucus, NJ, USA},
  isbn           = {0387908218},
  year           = 1985
}

@Book{Wi94,
  Author         = {R. Wilhelm and D. Maurer},
  Title          = {Les compilateurs: th\'eorie, construction,
                   g\'en\'eration},
  Publisher      = {Masson},
  Series         = {Manuels Informatique},
  year           = 1994
}

@Book{Ap02,
  Author         = "Andrew W. Appel",
  Title          = "Modern Compiler Implementation in {Java}",
  Publisher      = "Cambridge University Press",
  Address        = "Cambridge, UK",
  Edition        = "Second Edition",
  annotate       = "Many references.",
  key            = "Appel",
  year           = 2002
}

@Book{Co04,
  Author         = {Keith D. Cooper and Linda Torczon},
  Title          = {Engineering a Compiler},
  Publisher      = {Morgan Kaufmann},
  Address        = {San Francisco},
  annote         = {324 references.},
  key            = {Cooper \& Torczon},
  year           = 2004
}

@Book{St93,
  Author         = {Susan Stepney},
  Title          = {High Integrity Compilation. A Case Study},
  Publisher      = {Prentice Hall},
  keywords       = {high integrity compilation},
  year           = 1993
}

@Book{Le95,
  Author         = {J. R. Levine and T. Mason and D. Brown},
  Title          = {Lex \& Yacc},
  Publisher      = {O' Reilly},
  Series         = {Unix Programming Tools},
  year           = 1995
}

@InProceedings{Ha94,
  Author         = {Lutz H. Hamel and Joseph A. Goguen},
  Title          = {Towards a Provably Correct Compiler for {OBJ}3},
  BookTitle      = {PLIP'94},
  Publisher      = {Springer Verlag},
  keywords       = {correct compilation},
  year           = 1994
}