Goncharov, et al.. Unifying Guarded and Unguarded Iteration. Springer Berlin Heidelberg, 2017, doi:10.1007/978-3-662-54458-7_30.