A method for translating natural language program specifications into algebraic specifications. - Hiroyuki Seki; Tadao Kasami; Eiji Nabika; Takashi Matsumura (Syst. Comput. Jpn., 1992)