Gambit: An interactive database design tool for data structures, integrity constaints, and transactions - Braegger, R P; Dudler, A M; Rebsamen, J; Zehnder, C A (IEEE transactions on software engineering, 1985)