I have been unable to find a link to a homepage for the following book:

Formal Specification of Programming Languages
by Frank Pagan
Prentice-Hall (1981)

(This book is not part of your reading assignment.)