Direct-style and continuation-passing style models of control. Available from Carsten Führmann’s homepage (1998)

by Carsten Führmann