Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.