Ralph Rönnquist Chi Keen Low Formalisation of Interaction Diagrams. 318- 1996 conf/apsec/1996 APSEC http://csdl.computer.org/comp/proceedings/apsec/1996/7638/00/76380318abs.htm db/conf/apsec/apsec1996.html#RonnquistL96