I feel that the following books will be useful in preparing for the subject test. They however do not completely cover all the topics. I will post more books as I come across them.
Operating system Concepts (Dinosaur Book) by Silberschatz and Galvin.
Any old edition of this book would suffice. For basic concepts, the Third will do. Sixth edition has 2 more chapters than the Fifth I believe.
I have no idea what formal specifications and correctness techniques mean. However I have a pretty good idea of Automata theory and Algorithms. I am using the following books for this section.
Models of Computation and Formal Languages by R.Gregory Taylor.
Fundamentals of algorithmics by Brassard and Bratley.
Computer Organization and Design: The hardware software Interface by Hennessy and Patterson