"methodes formelles ; 2e edition"
ISBN-13: 9782746201408