Notes on crystalline cohomology - Berthelot, Pierre; Ogus, Arthur (Princeton Univ. Press, 1978)