Model Building and Program Specification - In a Case of Enterprise Design. - Setsuo Ohsuga; Takanori Nishio (PRICAI, 1998)