Wayne, H. (2018). Practical TLA+: Planning Driven Development (1st ed. 2018.). Apress.
Chicago-Zitierstil (17. Ausg.)Wayne, Hillel. Practical TLA+: Planning Driven Development. 1st ed. 2018. Berkeley, CA: Apress, 2018.
MLA-Zitierstil (9. Ausg.)Wayne, Hillel. Practical TLA+: Planning Driven Development. 1st ed. 2018. Apress, 2018.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.