A Method of Generating Program Specification from Description of Human Activities. - Shuhei Kawasaki; Setsuo Ohsuga (ISMIS, 2000)