1. Collette, P., Jones, C.B.: Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In: Foundations of Computing, pp. 277–307. MIT Press, Cambridge (2000)
2. Coleman, J.W., Jones, C.B.: A structural proof of the soundness of rely/guarantee rules. Journal of Logic and Computation 17(4), 807–841 (2007)
3. Coleman, J.W.: Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics. PhD thesis, Newcastle University, Newcastle Upon Tyne (January 2008)
4. de Roever, W.-P.: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. In: Tracts in Theoretical Computer Science, vol. 54. Cambridge University Press, New York (2001)
5. Jones, C.B.: Development Methods for Computer Programs including a Notion of Interference. PhD thesis. Oxford University (June 1981);