APA (7th ed.) Citation

Baltazar, P., Mostrous, D., & Vasconcelos, V. T. (2012). Linearly Refined Session Types. Open Publishing Association.

Chicago Style (17th ed.) Citation

Baltazar, Pedro, Dimitris Mostrous, and Vasco T. Vasconcelos. Linearly Refined Session Types. Open Publishing Association, 2012.

MLA (9th ed.) Citation

Baltazar, Pedro, et al. Linearly Refined Session Types. Open Publishing Association, 2012.