It might also interest this audience that the book source is in their subversion: https://gforge.inria.fr/scm/viewvc.php/book/?root=ssabook https://gforge.inri

It might also interest this audience that the book source is in their subversion: https://gforge.inria.fr/scm/viewvc.php/book/?root=ssabook https://gforge.inria.fr/scm/viewvc.php/book/?root=ssabook There is also a "slides" directory up one, but I didn't investigate further.