Evaluation and Semantics-Based Program Manipulation (1992)

by Partial