1. Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management. In: Proceedings of USENIX (2002)
2. Bierman, G., Meijer, E., Torgersen, M.: Lost in translation: Formalizing proposed extensions to C
$^{\sharp}$
. In: Proceedings of OOPSLA (2007)
3. Lecture Notes in Computer Science;G. Bierman,2010
4. Bierman, G., Parkinson, M., Pitts, A.: MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory (2003)
5. Bruggeman, C., Waddell, O., Dybvig, R.K.: Representing control in the presence of one-shot continuations. In: Proceedings of PLDI (1996)