"ERQ: Controlled Inference and Instruction Techniques for DBMS Query Languages."

J. Longstaff (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics