@article{351513,
      note = {"This work was first published in 2006 by Les editions de  l'École polytechnique"--T.p. verso.},
      author = {Dowek, Gilles. and Lévy, Jean-Jacques,},
      url = {http://library.usi.edu/record/351513},
      title = {Introduction to the theory of programming languages /},
      publisher = {Springer,},
      recid = {351513},
      pages = {xi, 96 p. :},
      address = {London ;},
      year = {2011},
}