Value withdrawal explanations: a theoretical tool for programming environments

Willy Lesaint. Value withdrawal explanations: a theoretical tool for programming environments. In WLPE. pages 17-30, 2002. [doi]

Abstract

Abstract is missing.