Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever. Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. In S. Ramesh, G. Sivakumar, editors, Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings. Volume 1346 of Lecture Notes in Computer Science, pages 267-283, Springer, 1997. [doi]