A Connotational Theory of Program Structure
by James S. Royer
Springer, 1987.
Index
The table of contents and the first chapter.