Transformations of CCP programs (2001)

by S Etalle, M Gabbrielli, M C Meo
Venue:ACM Transactions on Programming Languages and Systems