The logic book - Merrie Bergmann (McGraw Hill, 2004)
ast c.1-3/stoc5.c1-3