Program Developments: Formal Explanations of Implementations. - Wile, David S.; Horowitz, Ellis (Communications of the ACM, 1983)