@article{Manna:1973:IMP:355609.362336,
    Address = {New York, NY, USA},
    Author = {Manna, Zohar and Ness, Stephen and Vuillemin, Jean},
    File = {p491-manna (0) (0) - a - a - c.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Keywords = {computational induction, least fixedpoint, recursive programs, structural induction},
    Month = {August},
    Number = {8},
    Pages = {491--502},
    Publisher = {ACM},
    Title = {Inductive Methods for Proving Properties of Programs},
    URL = {http://doi.acm.org/10.1145/355609.362336},
    Volume = {16},
    Year = {1973},
    acmid = {362336},
    bdsk-url-1 = {http://doi.acm.org/10.1145/355609.362336},
    bdsk-url-2 = {https://doi.org/10.1145/355609.362336},
    date-added = {2019-06-01 08:18:36 +0200},
    date-modified = {2019-06-01 08:18:36 +0200},
    issue_date = {Aug. 1973},
    numpages = {12},
    doi = {10.1145/355609.362336}
}

@article{Manna:1973:IMP:355609.362336, Address = {New York, NY, USA}, Author = {Manna, Zohar and Ness, Stephen and Vuillemin, Jean}, File = {p491-manna (0) (0) - a - a - c.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Keywords = {computational induction, least fixedpoint, recursive programs, structural induction}, Month = {August}, Number = {8}, Pages = {491--502}, Publisher = {ACM}, Title = {Inductive Methods for Proving Properties of Programs}, URL = {http://doi.acm.org/10.1145/355609.362336}, Volume = {16}, Year = {1973}, acmid = {362336}, bdsk-url-1 = {http://doi.acm.org/10.1145/355609.362336}, bdsk-url-2 = {https://doi.org/10.1145/355609.362336}, date-added = {2019-06-01 08:18:36 +0200}, date-modified = {2019-06-01 08:18:36 +0200}, issue_date = {Aug. 1973}, numpages = {12}, doi = {10.1145/355609.362336} }