Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings / - Bird, Richard,; Morgan, Carroll,; Woodcock, Jim. (Springer-Verlag,, 1993)