Specifications of database systems : procddeings - Harper D J; International Conference on Specifications of Database Systems( 1st : 1991 : Glasgow ); International Conference on Specifications of Database Systems 1st Glasgow, 1991 (Berlin Springer Verlag, 1992)
Keywords: Data base systems