A Formal Specifications of INGRES. - W. E. Baats; Loe M. G. Feijs; J. H. A. Gelissen (Algebraic Methods, 1987)