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

D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.

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

D'Silva, V., S. Sonalkar, S. Ramesh, και C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.

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

D'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.