Program Developments: Formal Explanations of Implementations (1983)

by D Wile
Venue:Communications of the ACM