BeilinsonBezrukavnikovMirkovic:2004:TiltingExercises
MazorchukStroppel:2008:ProjectiveInjectiveModulesSerreFunctorsEtc