"Unification in the Data Structure Sets."

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