IJCAI - 77 : AIDS to Programming (Massachusetts Institute of Technology, 1977)