Goncharov, et al.. Guarded and Unguarded Iteration for Generalized Processes. 29 May 2019.