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