Cache coherency in SCI: Specification and a sketch of correctness
scientific article; zbMATH DE number 1444101