STØVRING, K.; LASSEN, S. B. A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. BRICS Report Series, [S. l.], v. 14, n. 4, 2007. DOI: 10.7146/brics.v14i4.21927. Disponível em: https://tidsskrift.dk/brics/article/view/21927. Acesso em: 27 may. 2024.