Olivier Danvy Formalizing Implementation Strategies for First-Class Continuations. 88-103 2000 conf/esop/2000 ESOP http://link.springer.de/link/service/series/0558/bibs/1782/17820088.htm db/conf/esop/esop2000.html#Danvy00