Vasconcelos, V. T., & Yoshida, N. (2009). Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems.
Citação norma ChicagoVasconcelos, Vasco T., and Nobuko Yoshida. Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems. 2009.
Citação norma MLAVasconcelos, Vasco T., and Nobuko Yoshida. Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems. 2009.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.