Logique arithmétique et techniques synchrones — Michel Aumiaux