Recursive applicative program schemes, in (1990)

by B Courcelle
Venue:Leeuwen (Ed.), Formal Models and Semantics, Handbook of Theoretical Computer Science