R. D. Tennent

Applications of Categories in Computer Science: Semantics of local variables

R. D. Tennent, P. W. O'Hearn, R. D. Tennent, 1992 .

Algol-like Languages

Peter W. O'Hearn, R. D. Tennent, 1997, Progress in Theoretical Computer Science.

Chapter 18 Syntactic Control of Interference Revisited

Peter W. O'Hearn, Makoto Takeyama, R. D. Tennent, 1997 .

Algol-Like Languages: v. 2

Peter W. O'Hearn, R. D. Tennent, 1996 .

ALGOL-like Languages, Volume 1

Peter W. O'Hearn, R. D. Tennent, R. D. Tennent, 1997 .