D. M. Steier;A. P. Anderson
-;Carnegie Mellon Univ., Pittsburgh, PA
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering