"Unification in the Data Structure Sets."

Wolfram Büttner (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics