Title: Specifications of database systems
First published: 1992