Yasuhiko Minamide: Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. HOOTS 1999: 105-120