%0 Journal Article %1 Burstall69provingproperties %A Burstall, R. M. %D 1969 %J Computer Journal %K induction programs properties structural %T Proving Properties of Programs by Structural Induction

@article{Burstall69provingproperties, added-at = {2012-12-26T18:27:03.000+0100}, author = {Burstall, R. M.}, biburl = {https://www.bibsonomy.org/bibtex/2368690f3e829a37fc06b87cad3b1626f/kaptoxic}, interhash = {13feb9c8fe83c8f8a8ba4cc518051e4c}, intrahash = {368690f3e829a37fc06b87cad3b1626f}, journal = {Computer Journal}, keywords = {induction programs properties structural}, timestamp = {2012-12-26T18:27:57.000+0100}, title = {Proving Properties of Programs by Structural Induction}, year = 1969 }