L Correctness-preserving program transformations Conf (1975)

by S GERHART
Venue:Rec Second ACM Syrup on Principles of Programming Languages