Maier, Patrick Programming Logics, MPI for Informatics, Max Planck Society;
Maier, P. (2003). Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. In Foundations of software science and computation structures: 6th International Conference, FOSSACS 2003 (pp. 343-357). Berlin, Germany: Springer.