The text book will be Specifying Software: A Hands-On Introduction by R. D. Tennent, published by Cambridge University Press (2002):
There is a page of corrections to the published text, including a revised version of pages 238-9, which in the published text are slightly inaccurate.
We will cover most of Parts A, C and D. We will not have time to discuss the material in Part B. Suggested additional reading may be found in the Introductions to each part, and in the additional-reading section at the end of every chapter in the text.