F. S. de Boer
-
Compositional Proofs for Concurrent Objects
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference