Metric interpretations of in nite trees and semantics of non-deterministic recursive programs, Theoret (1980)

by A Arnold, M Nivat
Venue:Comput. Sci