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