SCP Disclaimer
© Elsevier 2005. This is the author's version of this work. It is posted here by permission of Elsevier for your personal use. Not for redistribution. The definitive version appears in Science of Computer Programming 58(3):384–411. doi:10.1016/j.scico.2005.03.002.