%0 Thesis %1 phd/ethos/Harman92 %A Harman, Mark %D 1992 %K %T Functional models of procedural programs.

@phdthesis{phd/ethos/Harman92, added-at = {2023-12-12T22:58:53.000+0100}, author = {Harman, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2fe7ce719dad1590c873cff46c85720dc/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315232}, interhash = {50ac02365a2906ee99300ef1908c6792}, intrahash = {fe7ce719dad1590c873cff46c85720dc}, keywords = {}, note = {British Library, EThOS}, school = {London Metropolitan University, UK}, timestamp = {2023-12-12T22:58:53.000+0100}, title = {Functional models of procedural programs.}, year = 1992 }