A Modular Logic Approach for P2P Networks: A Deductive Object Oriented Framework for P2P Networks | IEEE Conference Publication | IEEE Xplore