Al Jedaibi، W. H.، و Carver، R. H. (2001). An extended CSPE-based method for specification-based testing of concurrent programs (رسالة دكتوراه غير منشورة). Oregon State University، اوريجون. مسترجع من http://search.mandumah.com/Record/614611
Al Jedaibi، Wajdi Homaid، و Richard H. Carver. "An Extended CSPE-based Method for Specification-based Testing of Concurrent Programs" رسالة دكتوراه. Oregon State University، اوريجون، 2001. مسترجع من http://search.mandumah.com/Record/614611