@Book{ Brink-Kahl-Schmidt-1997,
   editor    = {Chris Brink and Wolfram Kahl and Gunther Schmidt},
   title     = {Relational Methods in Computer Science},
   publisher = {Springer-Verlag},
   series    = {Advances in Computing},
   address   = {Wien, New York},
   note      = {ISBN 3-211-82971-7},
   year      = 1997
}

@InBook{ Jipsen-Brink-Schmidt-1997,
  author = {Peter Jipsen and Chris Brink and Gunther Schmidt},
  title = {Background Material},
  chapter = 1,
  pages = {1--21},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Maddux-1997,
  author = {Roger D. Maddux},
  title = {Relation Algebras},
  chapter = 2,
  pages = {22--38},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Schmidt-Hattensperger-Winter-1997,
  author = {Gunther Schmidt and Claudia Hattensperger and Michael Winter},
  title = {Heterogeneous Relation Algebra},
  chapter = 3,
  pages = {39--53},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Haeberer-Frias-Baum-Veloso-1997,
  author = {Armando Haeberer, Marcelo Frias, Gabriel Baum, Paulo Veloso},
  title = {Fork Algebras},
  chapter = 4,
  pages = {54--69},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Schlingloff-Heinle-1997,
  author = {Holger Schlingloff, Wolfgang Heinle},
  title = {Relation Algebra and Modal Logics},
  chapter = 5,
  pages = {70--89},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Orlowska-1997,
  author = {Ewa Orlowska},
  title = {Relational Formalisation of Nonclassical Logics},
  chapter = 6,
  pages = {90--105},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Desharnais-Hodgson-Mullins-1997,
  author = {Jules Desharnais, Bernard Hodgson, John Mullins},
  title = {Linear Logic},
  chapter = 7,
  pages = {106--114},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Berghammer-vonKarger-1997a,
  author = {Rudolf Berghammer, Burghard von Karger},
  title = {Relational Semantics of Functional Programs},
  chapter = 8,
  pages = {115--130},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Berghammer-vonKarger-1997b,
  author = {Rudolf Berghammer, Burghard von Karger},
  title = {Algorithms from Relational Specifications},
  chapter = 9,
  pages = {131--149},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Doornbos-vanGasteren-Backhouse-1997,
  author = {Henk Doornbos, Netty van Gasteren, Roland Backhouse},
  title = {Programs and Datatypes},
  chapter = 10,
  pages = {150--165},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Desharnais-Mili-Nguyen-1997,
  author = {Jules Desharnais and Ali Mili and Thanh Tung Nguyen},
  title = {Refinement and Demonic Semantics},
  chapter = 11,
  pages = {166--183},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Janicki-Parnas-Zucker-1997,
  author = {Ryszard Janicki, David Lorge Parnas, Jeffery Zucker},
  title = {Tabular Representations in Relational Documents},
  chapter = 12,
  pages = {184--196},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Jaoua-Belkhiter-Ounalli-Moukam-1997,
  author = {Ali Jaoua, Nadir Belkhiter, Habib Ounalli, Th{\'e}eodore Moukam},
  title = {Databases},
  chapter = 13,
  pages = {197--210},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Blackburn-deRijke-Venema-1997,
  author = {Patrick Blackburn, Maarten de Rijke, Yde Venema},
  title = {Logic, Language, and Information},
  chapter = 14,
  pages = {211--225},
  crossref = {Brink-Kahl-Schmidt-1997}
}

@InBook{ Boettner-1997,
  author = {Michael B{\"o}ttner},
  title = {Natural Language},
  chapter = 15,
  pages = {226--246},
  crossref = {Brink-Kahl-Schmidt-1997}
}