APA-Zitierstil (7. Ausg.)

Yang, L., & Poppleton, M. R. (2006). Automatic Translation from Combined B and CSP Specification to Java Programs. B 2007: Formal Specification & Development in B, 64. https://doi.org/10.1007/11955757_8

Chicago-Zitierstil (17. Ausg.)

Yang, Letu, und Michael R. Poppleton. "Automatic Translation from Combined B and CSP Specification to Java Programs." B 2007: Formal Specification & Development in B 2006: 64. https://doi.org/10.1007/11955757_8.

MLA-Zitierstil (9. Ausg.)

Yang, Letu, und Michael R. Poppleton. "Automatic Translation from Combined B and CSP Specification to Java Programs." B 2007: Formal Specification & Development in B, 2006, p. 64, https://doi.org/10.1007/11955757_8.