%0 Thesis %1 phd/ethos/Cooke76 %A Cooke, Derek John %D 1976 %K dblp %T The pragmatic formalization of computing systems relative to a given high-level language.

@phdthesis{phd/ethos/Cooke76, added-at = {2022-04-05T00:00:00.000+0200}, author = {Cooke, Derek John}, biburl = {https://www.bibsonomy.org/bibtex/2b0a00acaa5aafb39374702248663ffde/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.452118}, interhash = {01abbe220c6b479ccaf78d9d20f2787c}, intrahash = {b0a00acaa5aafb39374702248663ffde}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:49:48.000+0200}, title = {The pragmatic formalization of computing systems relative to a given high-level language.}, year = 1976 }