%0 Thesis %1 phd/ethos/Ward89 %A Ward, Martin %D 1989 %K %T Proving program refinements and transformations.

@phdthesis{phd/ethos/Ward89, added-at = {2023-12-14T15:31:51.000+0100}, author = {Ward, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2a74bfbf5a2c91d683f9b46b8e853255f/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.306712}, interhash = {ec395bb85754869c030ad9efb540763d}, intrahash = {a74bfbf5a2c91d683f9b46b8e853255f}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-14T15:31:51.000+0100}, title = {Proving program refinements and transformations.}, year = 1989 }