K. Mani Chandy Carl Kesselman The Derivation of Compositional Programs. 3-17 1992 JICSLP db/conf/iclp/iclp92.html#ChandyK92