Støvring, K., og S. B. Lassen. “A Complete, Co-Inductive Syntactic Theory of Sequential Control and State”. BRICS Report Series, bd. 14, nr. 4, februar 2007, doi:10.7146/brics.v14i4.21927.