Tools and notions for program construction - Neel D(ed) (Cambridge University Press, London, 1982)