D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.
Чикаго стиль цитування (17-те видання)D'Silva, V., S. Sonalkar, S. Ramesh, та C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
Стиль цитування MLA (9-ме видання)D'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
Попередження: стилі цитування не завжди правильні на всі 100%.