Swamy's compilation CCS CCA rules. (write off) (1994)