Introduction To The Theory Of Programming Languages door Gilles Dowek & Jean-Jacques L. Vy