Building ASIPS: The Mescal Methodology - Gries, Matthias; Keutzer, Kurt (Springer US, 2005)