%0 Journal Article %1 CliffJones-His %A Jones, Cliff B. %D 2003 %J IEEE, Annals of the History of Computing %K imported %N 2 %P 26-49 %T The Early Search for Tractable Ways of Reasonning about Programs %U /brokenurl#http://doi.ieeecomputersociety.org/10.1109/MAHC.2003.1203057 %V 25

@article{CliffJones-His, added-at = {2010-08-25T08:47:38.000+0200}, author = {Jones, Cliff B.}, biburl = {https://www.bibsonomy.org/bibtex/29adca146cb5dc13923de03409e5feff2/miguel.pagano}, interhash = {f5c1d8c2cbdfa9b876377b131ad5db43}, intrahash = {9adca146cb5dc13923de03409e5feff2}, journal = {{IEEE, Annals of the History of Computing}}, keywords = {imported}, local-url = {{file://localhost/Users/ncbj/Documents/CBJ-pubs/Papers/Jones03i.pdf}}, number = {{2}}, pages = {26-49}, timestamp = {2010-08-25T08:47:45.000+0200}, title = {{The Early Search for Tractable Ways of Reasonning about Programs}}, url = {/brokenurl#{http://doi.ieeecomputersociety.org/10.1109/MAHC.2003.1203057}}, volume = {{25}}, year = {{2003}} }