Kuitae Byun Soon-Ok Park Jaehyoun Kim C. Robert Carlson Toward an extension of interaction diagrams. 232-236 2000 conf/cata/2000 Computers and Their Applications db/conf/cata/cata2000.html#ByunPKC00