A specification of data structures with application to data base systemsMaurice J. Bach · First published 1979Open the Tome