Lecture notes on the π-calculus and Concurrent ML [pdf] | Not Hacker News!