Automatic process design from nonprocedural specification. - Minoru Harada; Junichi Nishimurae; Yoshiyuki Nakamura (Syst. Comput. Jpn., 1995)