Logic Of Analog & Digital Machines by Paolo Rocchi