@TECHREPORT{cw77,
   author = "D. Kinnaes and D. Craeynest and A. {De Niel} and K. {De Vlaminck}",
   title = "Using {A}da as a design tool for embedded systems: A case Study",
   type = "CW report",
   number = 77,
   year = 1988,
   institution = "K.U.Leuven",
}

@BOOK{bop,
   author = "K. {De Vlaminck} and P. Verbaeten",
   title = "Beredeneerd ontwerpen van programma's in Pascal",
   publisher = "Acco",
   address = "Leuven",
   year = 1989,
}

@TECHREPORT{cw92,
   author = "A. {De Niel} and K. {De Vlaminck}",
   title = "Partial evaluation: its application to compiler
       generator generation",
   type = "CW report",
   number = 92,
   year = 1989,
   institution = "K.U.Leuven",
}

@TECHREPORT{cw100,
   author = "D. Craeynest and W. {De Bisschop} and A. {De Niel} and D. Kinnaes and K. {De Vlaminck}",
   title = "The {Absynt} Metaprogramming language - A Case Study",
   type = "CW report",
   number = 100,
   year = 1989,
   institution = "K.U.Leuven",
}

@TECHREPORT{cw116,
   author = "A. {De Niel} and E. Bevers and K. {De Vlaminck}",
   title = "Program division for a polymorphically typed functional language",
   type = "CW report",
   number = 116,
   year = 1990,
   institution = "K.U.Leuven",
}

@INPROCEEDINGS{hood,
   author = "H. {Van Beirendonck} and J. Beaufays and S. Van Baelen
      and K. {De Vlaminck}",
   title = "Petri nets for modelling dynamic characteristics in {HOOD}",
   booktitle = "The Management of large software projects in
      the space industry",
   address = "Toulouse",
   publisher = "C\'{e}padu\`{e}s-\'{e}ditions",
   pages = "121--130",
   year = 1991,
   organization = "Centre national d'\'{e}tudes spatiales",
}

@INPROCEEDINGS{pepm,
   author = "A. {De Niel} and E. Bevers and K. {De Vlaminck}",
   title = "Program bifurcation for a polymorphically typed functional
language",
   booktitle = "Proceedings of the Symposium on Partial Evaluation and
   Semantics-Based Program Manipulation",
   address = "Yale University, New Haven, USA",
   number = 9,
   series = "SIGPLAN Notices, Volume 26",
   pages = "142--153",
   month = "september",
   year = 1991,
   publisher = "ACM Press",
}


@InProceedings{DeNiel:91:RepresentationProblem,
  author          = "A. {De Niel} and E. Bevers and K. {De Vlaminck}",
  title           = "{P}artial {E}valuation of {P}olymorphically {T}yped
                     {F}unctional {L}anguages: the {R}epresentation
                     {P}roblem",
  booktitle       = "Actes JTASPEFL'91, Bordeaux, 9-11 octobre 1991
                     (Bigre 74, Octobre 1991).",
  editor          = "M. Billaud and P. Cast\'{e}ran and MM. Corsini and
                     K. Musumbu and A. Rauzy",
  pages           = "90--97",
  year            = "1991"}


@INPROCEEDINGS{vdm91,
   author = "D. Kinnaes and K. {De Vlaminck}",
   title = "A Debugger for a {Meta-IV}-like Meta-Language",
   editor = "S. Prehn and W.J. Toetenel",
   booktitle = "{VDM}'91 Formal Software Development Methods",
   number = 551,
   series = "Lecture Notes in Computer Science",
   pages = "597--603",
   year = 1991,
   publisher = "Springer-Verlag",
}

@INPROCEEDINGS{nordic-workshop,
   author = "D. Craeynest and K. {De Vlaminck}",
   title = "The {Absynt} metaprogramming environment for language implementation",
   booktitle = "Proc. Fifth Nordic Workshop on Programming Environment Research",
   editor = "Kari Syst\aa and Pertti Kellom\aa ki and Rauno M\aa kinen",
   organization = "Tampere University of Technology, Tampere, Finland ",
   year = 1992,
}

@BOOK{sdll1,
   author = "J. Lewi and K. {De Vlaminck} and I. Van Horebeek and E. Steegmans",
   title = "Software Development by {LL}(1) Syntax Description",
   publisher = "Wiley",
   year = 1992,
}

@INPROCEEDINGS{al-azhar,
   author = "D. Craeynest and K. {De Vlaminck} and D. Kinnaes and A. {De Niel}",
   title = "The {Absynt} environment for language implementation",
   booktitle = "AEC'89 - Systems \& Computer Engineering, proceedings of the Al-Azhar Engineering First Conference",
   volume = 17,
   organization = "Al-Azhar University, Cairo, Egypt",
   pages = "75-90",
   year = 1989,
}

@INPROCEEDINGS{paderborn,
   author = "D. Craeynest and K. {De Vlaminck}",
   title = "The {Absynt} metaprogramming environment for language implementation (extended abstract)",
   booktitle = "Proceedings of the International Workshop on Compiler Construction
   CC'92",
   editor = "Uwe Kastens and Peter Pfahler",
   organization = "Fachbereich Mathematik-Informatik, Universitaet-GH Paderborn, Paderborn, Germany",
   year = 1992,
}

@INCOLLECTION{yearbook93,
   author = "D. Craeynest",
   booktitle = "{Ada} Yearbook 1993",
   title = "Section on {Ada-Belgium} in chapter 3 ({Letters }from {Ada} organisations)",
   editor = "C. Loftus",
   publisher = "IOS Press, Amsterdam",
   year = 1993,
}

@PHDTHESIS { Bevers:93:AutomatedReasoning,
AUTHOR = "E. Bevers",
TITLE = "Automated Reasoning in Conditional Algebraic Specifications: Termination and Proof by Consistency",
SCHOOL = "Dept. of Computer Science, KU Leuven",
YEAR = 1993,
}

@PHDTHESIS { Annedn,
AUTHOR = "A. {De Niel}",
TITLE = "Self-applicable partial evaluation of polymorphically typed functional languages",
SCHOOL = "Dept. of Computer Science, KU Leuven",
YEAR = 1993,
}

@ARTICLE { exception,
AUTHOR = "I. {Van Horebeek} and J. Lewi and W. {Van Puymbroeck} and E. Bevers",
TITLE = "An Exception Handling Method for Constructive Algebraic Specifications",
JOURNAL = "Software-Practice and Experience",
VOLUME = 18,
NUMBER = 5,
YEAR = 1988,
PAGES = "443-458",
}

@ARTICLE { semantic,
AUTHOR = "E. Bevers and J. Lewi",
TITLE = "Proving Termination of (Conditional) Rewrite Systems: A Semantic Approach",
JOURNAL = "ACTA INFORMATICA",
VOLUME = 30,
YEAR = 1993,
PAGES = "537-568",
}

@INPROCEEDINGS { consistency,
AUTHOR = "E. Bevers and J. Lewi",
TITLE = "Proof by Consistency in Conditional Equational Theories",
BOOKTITLE = "The Second International Workshop on Conditional and Typed Rewriting Systems (CTRS 90), Proceedings",
SERIES = "LNCS",
VOLUME = 516,
PUBLISHER = "Springer-Verlag",
YEAR = 1990,
PAGES = "65-72",
}

@TECHREPORT { constructive,
AUTHOR = "E. Bevers and I. {Van Horebeek} and J. Lewi",
TITLE = "On Proving Termination of Constructive Algebraic Specifications",
TYPE = "CW report",
NUMBER = 59,
INSTITUTION = "Dept. of Computer Science, K.U. Leuven",
MONTH = "March",
YEAR = 1988,
}

@TECHREPORT { termination,
AUTHOR = "E. Bevers and J. Lewi",
TITLE = "Proving Termination of Rewrite Systems: a Semantic Approach",
TYPE = "CW report",
NUMBER = 91,
INSTITUTION = "Dept. of Computer Science, K.U. Leuven",
MONTH = "June",
YEAR = 1989,
}

@TECHREPORT { proofbyconsistency,
AUTHOR = "E. Bevers and J. Lewi",
TITLE = "Proof by Consistency in Conditional Equational Theories",
TYPE = "CW report",
NUMBER = 102,
INSTITUTION = "Dept. of Computer Science, K.U. Leuven",
MONTH = "July",
YEAR = 1990,
}

@TECHREPORT { cond,
AUTHOR = "E. Bevers and J. Lewi",
TITLE = "Proving Termination of Conditional Rewrite Systems: a Semantic Approach",
TYPE = "CW report",
NUMBER = 156,
INSTITUTION = "Dept. of Computer Science, K.U. Leuven",
MONTH = "November",
YEAR = 1992,
}

@MISC { introduction,
AUTHOR = "E. Bevers and E. Steegmans",
TITLE = "Introduction to Term Rewriting Systems and their Application to Theorem Proving in Algebraic Specifications",
HOWPUBLISHED = "Course Notes",
YEAR = 1993,
}