@inproceedings{1b407afabc2f4572b5afed6388f302db,
title = "A formal specification of INGRES",
abstract = "This paper describes a case study in the application of COLD-K as a specification language. The subject of the case study is the INGRES relational data base system.",
author = "W.E. Baats and L.M.G. Feijs and J.H.A. Gelissen",
year = "1989",
month = jan,
day = "1",
doi = "10.1007/BFb0015040",
language = "English",
isbn = "978-3-540-51698-9",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "207--245",
editor = "Martin Wirsing and Bergstra, {Jan A.}",
booktitle = "Algebraic Methods",
address = "Germany",
note = "Workshop on Algebraic Methods: Theory, Tools and Applications, 1987 ; Conference date: 09-06-1987 Through 11-06-1987",
}