00803cam a2200193 a 450000500170000000800410001702000150005803500150007305000250008811101010011324501850021426000370039930000110043644000490044765000560049670000160055270000180056870000230058620260818154624.0090714s1993    gw      r     100|0 eng d  a3540566252  a.b10428161 4aQA76.9 M35bI57 19922 aInternational Conference on the Mathematics of Program Constructionn(2nd :d1992 :cOxford, UK)10aMathematics of program construction :bSecond International Conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings /cR. S. Bird, C. C. Morgan and J. C. P. Woodcock (Eds.)  aBerlin :bSpringer-Verlag,c1993  a378 p. 0aLecture notes in computer science ;vno. 669 0aElectronic data processingxMathematicsxCongresses1 aBird, R. S.1 aMorgan, C. C.  aWoodcock, J. C. P.