Nielson, H. R., Amtoft, T. and Nielson, F. (1997) “Behaviour Analysis and Safety Conditions: a Case Study in CML”, DAIMI Report Series, 26(528). doi: 10.7146/dpb.v26i528.7057.