Dan's Brain

Introduction to the Theory of Programming Languages

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