Jiri Zlatuska Data Bases and the Lambda-Calculus. 97-104 1986 IFIP Congress db/conf/ifip/ifip86.html#Zlatuska86