Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (scheduled for retirement at the end of 2020) - View it on GitHub