A Co-iterative Characterization of Synchronous Stream Functions (1998)

by P Caspi, M Pouzet
Venue:Elec. Notes on Theor. Comput. Sci