Yonezawa, A. "Symbolic Evaluation of Programs as an Aid to Program Construction" MIT AI Lab working paper. 1975
(1975)
Languages mentioned
PLANNER-73
{1973}