Program Developments: Formal Explanations of Implementations (1983)

by D Wile
Venue:EGYED AND WILE: SUPPORT FOR MANAGING DESIGN-TIME DECISIONS