Ming-Yuan Zhu AUTO STAR - a software development system. 31-45 1989 24 SIGPLAN Notices 3 http://doi.acm.org/10.1145/66083.66085 db/journals/sigplan/sigplan24.html#Zhu89