Logic And Complexity by Michel De Rougemont & Richard Lassaigne