Program developments: formal explanations of implementations

David S. Wile
1983 Communications of the ACM  
doi:10.1145/182.358443 fatcat:vn5ftbibgrawhgaoaiepic57km