An introduction to programming with S-algol. - Cole, A. J. (Cambridge University Press, 1982)