The metric space of infinite trees. Algebraic and topological properties (1980)

by A Arnold, M Nivat
Venue:Fundamenta Informaticae III