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

Godefroid, P. (1996). Partial-Order methods for the verification of concurrent systems: An approach to the state-explosion problem. Springer-Verlag.

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

Godefroid, Patrice. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-explosion Problem. Berlin: Springer-Verlag, 1996.

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

Godefroid, Patrice. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-explosion Problem. Springer-Verlag, 1996.