Dominique Cansell Ganesh Gopalakrishnan Michael D. Jones Dominique Méry Airy Weinzoepflen Incremental Proof of the Producer/Consumer Property for the PCI Protocol. 22-41 2002 conf/zum/2002 ZB http://link.springer.de/link/service/series/0558/bibs/2272/22720022.htm db/conf/zum/zb2002.html#CansellGJMW02