APA-viite (7. p.)

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

Chicago-viite (17. p.)

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

MLA-viite (9. p.)

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