1. 2
  1.  

  2. 2

    Neat - Peter Van Roy (who’s teaching the course) wrote Concepts, Techniques, and Models of Computer Programming.