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

by A Arnold, M Nivat
Venue:Fundamenta Informaticae