Müller, S.M. and Paul, W.J. Computer Architecture, Complexity and Correctness Springer Verlag ISBN 3-540-67481-0
Please also take a look at the errata list for known bugs.
Mark A. Hillebrand, Lecture Notes of lecture Computer Architecture from WS06/07
Wolfgang Paul, Norbert Schirmer and Ulan Degenbaev. Theory of Memory Saarland University, 2008 PPT
Beyer, Sven: Putting it all together - Formal Verification of the VAMP, PhD thesis, Saarland University, Saarbrücken, 2005
Kröning, Daniel: Formal Verification of Pipelined Microprocessors., PhD thesis, Saarland University, Saarbrücken, 2001

Paul Sweazey, Alan Jay Smith: A class of compatible cache consistency protocols and their support by the IEEE futurebus., ACM New York, NY, USA , 1986