@article{FerranteWimmer2010,
  author    = {Augusto Ferrante and Harald K. Wimmer},
  title     = {Reachability matrices and cyclic matrices},
  year      = {2010},
}