On the inevitalbe in-terwining of specification and implementation - Swartout, W; Balzer, R (CACM, 1982)