Building ASIPS: the mescal methodology - Gries, Matthias (Springer, 2005)