iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/am/BaatsFG87.xml
W. E. Baats Loe M. G. Feijs J. H. A. Gelissen A Formal Specifications of INGRES. 207-245 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#BaatsFG87 https://doi.org/10.1007/BFb0015040