Gilles Dowek, Jean-Jaques Lévy, Introduction to the Theory of Programming Languages, Springer, 2010, pp.96