KIDS: A semiautomatic program development system (1990)

by Douglas R Smith
Venue:IEEE Transactions on Software Engineering