The logic of machines and structures - Paul Sandori (John Wiley and Sons)