Computer Architecture complexity and correctness - Mueller Silvia M; Paul Wolfgang J (Berlin Springer-Verlag, 2000)
Keywords: Computer architecture