KIDS: A semiautomatic program development system (1990)

by D R Smith
Venue:IEEE Transactions on Software Engineering