APA (7 ম সংস্করণ) উদ্ধৃতি

Roscoe, A., Gardiner, P., Goldsmith, M., Hulance, J., Jackson, D., & Scattergood, J. (1995). Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock. Springer Berlin/Heidelberg.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Roscoe, A., P. Gardiner, M. Goldsmith, J. Hulance, D. Jackson, এবং J. Scattergood. Hierarchical Compression for Model−checking CSP or How to Check 10 20 Dining Philosophers for Deadlock. Springer Berlin/Heidelberg, 1995.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

Roscoe, A., et al. Hierarchical Compression for Model−checking CSP or How to Check 10 20 Dining Philosophers for Deadlock. Springer Berlin/Heidelberg, 1995.