R. Cross, “The essential state diagram of a linear operator”, Ann. Fenn. Math., vol. 15, no. 2, pp. 283–291, Aug. 1990, doi: 10.5186/aasfm.1990.1506.