Dan's Brain

Introduction to the Theory of Programming Languages

book

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