@article{Bonchi:2015:HNI:2728770.2713167,
    Address = {New York, NY, USA},
    Author = {Bonchi, Filippo and Pous, Damien},
    File = {Hacking Nondeterminism with Induction and Coinduction - Bonchi, Pous (0) (0) - a - a - c.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Month = {January},
    Number = {2},
    Pages = {87--95},
    Publisher = {ACM},
    Title = {Hacking Nondeterminism with Induction and Coinduction},
    URL = {http://doi.acm.org/10.1145/2713167},
    Volume = {58},
    Year = {2015},
    acmid = {2713167},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2713167},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2713167},
    date-added = {2015-04-22 11:04:09 +0000},
    date-modified = {2015-04-22 11:04:09 +0000},
    issue_date = {February 2015},
    numpages = {9},
    doi = {10.1145/2713167}
}

@article{Bonchi:2015:HNI:2728770.2713167, Address = {New York, NY, USA}, Author = {Bonchi, Filippo and Pous, Damien}, File = {Hacking Nondeterminism with Induction and Coinduction - Bonchi, Pous (0) (0) - a - a - c.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Month = {January}, Number = {2}, Pages = {87--95}, Publisher = {ACM}, Title = {Hacking Nondeterminism with Induction and Coinduction}, URL = {http://doi.acm.org/10.1145/2713167}, Volume = {58}, Year = {2015}, acmid = {2713167}, bdsk-url-1 = {http://doi.acm.org/10.1145/2713167}, bdsk-url-2 = {http://dx.doi.org/10.1145/2713167}, date-added = {2015-04-22 11:04:09 +0000}, date-modified = {2015-04-22 11:04:09 +0000}, issue_date = {February 2015}, numpages = {9}, doi = {10.1145/2713167} }