"Linking consistency with object/thread semantics: an approach to robust ..."

Raymond C. Chen, Partha Dasgupta (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics