Infinite words infinite trees infiite computations (1979)

by M Nivat
Venue:Foundations of Computer Science III