Goal directed programming. - Richard J. Cichelli; Martha J. Cichelli (ACM SIGPLAN Notices, 1977)