@inbook{jeannin-2013-language, title={Language Constructs for Non-Well-Founded Computation}, ISBN={9783642370366}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-37036-6_4}, DOI={10.1007/978-3-642-37036-6_4}, booktitle={Programming Languages and Systems}, publisher={Springer Berlin Heidelberg}, author={Jeannin, Jean-Baptiste and Kozen, Dexter and Silva, Alexandra}, year={2013}, pages={61–80} }