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

SpringerLink (Online service) & Collard, J. (2003). Reasoning About Program Transformations: Imperative Programming and Flow of Data. Springer New York.

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

SpringerLink (Online service) και Jean-François Collard. Reasoning About Program Transformations: Imperative Programming and Flow of Data. New York, NY: Springer New York, 2003.

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

SpringerLink (Online service) και Jean-François Collard. Reasoning About Program Transformations: Imperative Programming and Flow of Data. Springer New York, 2003.