Author: International Workshop on Specifications of Database Systems (1991 Glasgow, Scotland)