Neilson، J. E.؛ Woodside، C. M.؛ Petriu، D. C.؛ Majumdar، S. (1995). "Software bottlenecking in client-server systems and rendezvous networks". ج. 21 ع. 9: 776. DOI:10.1109/32.464543. {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة)
google.it
books.google.it
Leveraging Applications of Formal Methods, Verification, and Validation edited by Tiziana Margaria and Bernhard Steffen 2010 ISBN 3-642-16560-5 pages 56-58 [1]نسخة محفوظة 13 مارس 2016 على موقع واي باك مشين.
web.archive.org
Leveraging Applications of Formal Methods, Verification, and Validation edited by Tiziana Margaria and Bernhard Steffen 2010 ISBN 3-642-16560-5 pages 56-58 [1]نسخة محفوظة 13 مارس 2016 على موقع واي باك مشين.