Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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