Programming Languages: Application and Interpretation (2007)
cs.brown.edu