Program Developments: Formal Explanations of Implementations

David S. Wile. Program Developments: Formal Explanations of Implementations. Communications of the ACM, 26(11):902-911, 1983. [doi]

Abstract

Abstract is missing.