Infinite words, infinite trees, infinite computations (1979)

by M Nivat
Venue:Foundations of Computer Science III (Math. Centre Tracts 109