Hasegawa. Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. Springer Berlin Heidelberg, 2002, doi:10.1007/3-540-45788-7_10.