Ward, M. "Abstracting a Specification from Code"

(1993) Software Maintenance: Research and Practice 5 1993  

Languages mentioned WSL {1989} Wide Spectrum Language