Cross, R. (1990) “The essential state diagram of a linear operator”, Annales Fennici Mathematici, 15(2), pp. 283–291. doi: 10.5186/aasfm.1990.1506.