Mathematics of program construction : Second International Conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings - International Conference on the Mathematics of Program Construction 1992 : Oxford, UK); Bird, R. S.; Morgan, C. C.; Woodcock, J. C. P. (Berlin : Springer-Verlag, 1993)
Keywords: Electronic data processing -- Mathematics -- Congresses