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