APA-Zitierstil (7. Ausg.)

Widom, J., Gries, D., & Schneider, F. B. (1986). Completeness and incompleteness of trace based network proof systems.

Chicago-Zitierstil (17. Ausg.)

Widom, Jennifer, David Gries, und Fred B. Schneider. Completeness and Incompleteness of Trace Based Network Proof Systems. Ithaca, New York, 1986.

MLA-Zitierstil (9. Ausg.)

Widom, Jennifer, et al. Completeness and Incompleteness of Trace Based Network Proof Systems. 1986.