APA引文

Butler, M., Hoare, C., & Ferreira, C. (2004). A Trace Semantics for Long−Running Transactions. Springer.

芝加哥风格引文

Butler, M., C. Hoare, 与 C. Ferreira. A Trace Semantics for Long−Running Transactions. Springer, 2004.

MLA引文

Butler, M., et al. A Trace Semantics for Long−Running Transactions. Springer, 2004.

警告：这些引文格式不一定是100％准确.