Symbolic dynamics and the stable algebra of matrices - Mike Boyle; Scott Schmieding (2020)