Building ASIPs : the MESCAL methodology - Gries, Matthias (Springer, 2005)