On the Inevitable Intertwining of Specification and Implementation (1982)

by W Swartout, R Balzer
Venue:Communications of the ACM