J. Ramanathan C. J. Shubra Modeling of Problem Domains for Driving Program Development Systems. 28-40 1981 POPL db/conf/popl/popl81.html#RamanathanS81