An introduction to derived (algebraic) geometry - J. Eugster; J. P. Pridham (2021)