Ljungqvist and Sargent, Recursive macroeconomic theory, MIT Press.
There will also be some articles and lecture notes.