Kee Yong Lim John Brian Long Structured Notations for Human Factors Specification of Interactive Systems. 325-331 1993 conf/hci/1993-2 HCI (2) db/conf/hci/hci1993-2.html#LimL93