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