APA (7th ed.) Citation

Wang, C., Davies, J., & Welch, J. (2010). A guarded workflow language and its formal semantics.

Chicago Style (17th ed.) Citation

Wang, C., J. Davies, and J. Welch. A Guarded Workflow Language and Its Formal Semantics. 2010.

MLA (9th ed.) Citation

Wang, C., et al. A Guarded Workflow Language and Its Formal Semantics. 2010.