Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence - Posicel‘skij, Leonid Jefimovič, 1973- (Memoirs of the American Mathematical Society,, 2011)