%0 Thesis %1 phd/ethos/Ana97 %A Cavalcanti, Ana %D 1997 %K %T A refinement calculus for Z.

@phdthesis{phd/ethos/Ana97, added-at = {2023-12-13T00:51:41.000+0100}, author = {Cavalcanti, Ana}, biburl = {https://www.bibsonomy.org/bibtex/21aa2bbbe0734a92751fd9814973affd1/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360217}, interhash = {6975491c1e37bc3072994c7cf6f74f29}, intrahash = {1aa2bbbe0734a92751fd9814973affd1}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-13T00:51:41.000+0100}, title = {A refinement calculus for Z.}, year = 1997 }