Systèmes formels, Claude Benzaken · Super Livre