1-2 of 2 Books
Corings and comodules
By Tomasz Brzezinski,N. J. Hitchin
Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence
By Leonid Positselski