2 books • 3 series
Book #28: Fundamentals of Distributed Object Systems
Book #83: Verification of Communication Protocols in Web Services
