Jacobs, B., Silva, A., & Sokolova, A. (2015). Trace semantics via determinization.
Citação do estilo Chicago (17ª ed.)Jacobs, Bart, Alexandra Silva, e Ana Sokolova. Trace Semantics via Determinization. 2015.
Citação MLA (8ª ed.)Jacobs, Bart, et al. Trace Semantics via Determinization. 2015.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.