TY  - RPRT
TI  - Value withdrawal explanations: a theoretical tool for programming environments
AU  - Willy Lesaint
PY  - 2002
UR  - https://arxiv.org/abs/cs/0207050
ID  - cs/0207050
ER  -