IP List distribution Logic in Computer Science_ Modelling and Reasoning about Systems, 2nd Edition by Mark Ryan PDF, total 1