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