Wile, David "Program development: Formal explanations of implementations" pp902-911

[ACM] (1983) [ACM] CACM 27(11) November 1983  

Languages mentioned Gist {1977} Specification language