APA način citiranja (7. izdanje)

Mehlitz, P., Tkachuk, O., & Ujma, M. (2011). JPF−AWT: Model Checking GUI Applications.

Čikaški stil citiranja (17. izdanje)

Mehlitz, P., O. Tkachuk, i M. Ujma. JPF−AWT: Model Checking GUI Applications. 2011.

MLA način citiranja (9. izdanje)

Mehlitz, P., et al. JPF−AWT: Model Checking GUI Applications. 2011.