«Verification of Communication Protocols in Web Services», Kazi Sakib benzeri kitaplar