An Automatic Programming System SPACE with Highly Visualized and Abstract Program Specification. - Minoru Harada; Takashi Yoshimizu (IEICE Trans. Inf. Syst., 1995)