A co-iterative characterization of synchronous stream functions (1998)

by P Caspi, M Pouzet
Venue:Electronic Notes in Theoretical Computer Science, 11(0):1