On the Inevitable Interwining of Specification and Implementation.

William R. Swartout Robert Balzer On the Inevitable Interwining of Specification and Implementation. 438-440 1982 25 Commun. ACM 7 db/journals/cacm/cacm25.html#SwartoutB82