International Workshop on Specifications of Database Systems (1st 1991 Glasgow, Scotland)