Deriving dense linear algebra librariesPaolo BientinesiJohn A. Gunnelset al.2013Formal Aspects of Computing