Amílcar Sernadas SYSTEMATICS: Its Syntax and Semantics as a Query Language (1). 56-61 1981 24 Comput. J. 1 db/journals/cj/cj24.html#Sernadas81