The material to be covered will be based on the first six chapters of Semantics of Programming Languages by R. D. Tennent, published by Prentice-Hall International (1991) and available from 2002 only as a Print-on-Demand Edition from Pearson Education (QA76.7.T473). The most recent printing of this book has a blue and teal cover; however, earlier printings with red and white covers have identical content (and a much better binding). amazon.ca lists 21 copies for sale, with prices ranging from $6.70 to $156.22.
The readings will follow the text fairly closely, but not all of the material in the six chapters will be covered, and the order may be slightly different.