Reference:
Sergey Goncharov, Christoph Rauch and Lutz Schröder: Unguarded Recursion on Coinductive Resumptions, In Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), Electronic Notes in Theoretical Computer Science, vol. 319(), pp. 183 – 198, 2015. [preprint]
Bibtex Entry:
@inproceedings{GoncharovEA15,
title = {Unguarded Recursion on Coinductive Resumptions},
series = {Electronic Notes in Theoretical Computer Science},
volume = {319},
number = {},
pages = {183 - 198},
year = {2015},
booktitle = {Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)},
issn = {1571-0661},
url = {http://www.sciencedirect.com/science/article/pii/S1571066115000791},
author = {Sergey Goncharov and Christoph Rauch and Lutz Schr\"oder},
comment = { <a href = "https://www8.cs.fau.de/ext/papers/mfps15-elgot.pdf"> [preprint] </a>},
}