"Pairs of Recursive Structures."

Christopher J. Ash, Julia F. Knight (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics