APA-viite (7. p.)

Forejt, V., Kroening, D., Narayanswamy, G., & Sharma, S. (2014). Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing.

Chicago-viite (17. p.)

Forejt, V., D. Kroening, G. Narayanswamy, ja S. Sharma. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.

MLA-viite (9. p.)

Forejt, V., et al. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.