A New Solution to Coherence Problems in Multicache Systems. - Lucien M. Censier; Paul Feautrier (IEEE Trans. Computers, 1978)