Goal based agent-oriented software modeling. - Kenha Park; Jintae Kim; Sooyong Park (APSEC, 2000)