Transforming Acyclic Programs, to appear in (1994)

by A Bossi, S Etalle
Venue:ACM Transactions on Programming Languages and Systems