Udink, R.T. & Kok, J.N. (1993). On the relation between Unity properties and sequences of states. (RUU-CS93-07 ). Utrecht.