Notes on Crystalline Cohomology - Berthelot, Pierre (Princeton University Press, 1978)