@inbook{Jeannin2013,
    Address = {Berlin, Heidelberg},
    Author = {Jeannin, Jean-Baptiste and Kozen, Dexter and Silva, Alexandra},
    BookTitle = {Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
    Editor = {Felleisen, Matthias and Gardner, Philippa},
    File = {nwf (0) - a - a - u.pdf},
    ISBN = {978-3-642-37036-6},
    Keywords = {capsules},
    Pages = {61--80},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Language Constructs for Non-Well-Founded Computation},
    URL = {http://dx.doi.org/10.1007/978-3-642-37036-6\_4},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37036-6\_4},
    date-added = {2017-04-26 17:51:09 +0000},
    date-modified = {2017-04-26 17:51:17 +0000},
    doi = {10.1007/978-3-642-37036-6_4}
}

@inbook{Jeannin2013, Address = {Berlin, Heidelberg}, Author = {Jeannin, Jean-Baptiste and Kozen, Dexter and Silva, Alexandra}, BookTitle = {Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings}, Editor = {Felleisen, Matthias and Gardner, Philippa}, File = {nwf (0) - a - a - u.pdf}, ISBN = {978-3-642-37036-6}, Keywords = {capsules}, Pages = {61--80}, Publisher = {Springer Berlin Heidelberg}, Title = {Language Constructs for Non-Well-Founded Computation}, URL = {http://dx.doi.org/10.1007/978-3-642-37036-6_4}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37036-6_4}, date-added = {2017-04-26 17:51:09 +0000}, date-modified = {2017-04-26 17:51:17 +0000}, doi = {10.1007/978-3-642-37036-6_4} }