A structural proof of the soundness of rely/guarantee rules /
Coleman, J. W.(Joey W.)
Jones, C. B.(Cliff B.),1944-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computer Science,
2006.
Includes bibliographical references.