Elhage, et al., "A Mathematical Framework for Transformer Circuits", Transformer Circuits Thread, 2021.