Danvy O, Dzafic B, Pfenning F. On proving syntactic properties of CPS programs. BRICS [Internet]. 1999 Jan. 23 [cited 2026 Feb. 10];6(23). Available from: https://tidsskrift.dk/brics/article/view/20092