Dexter Kozen, Matvey Soloviev: Coalgebraic Tools for Randomness-Conserving Protocols. RAMiCS 2018: 298-313