D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)D'Silva, V., S. Sonalkar, S. Ramesh, و C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)D'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.