Logic of Analog & Digital Machines (Computer Science, Technology and Applications)