Wayne, H. (2018). Practical TLA+: Planning Driven Development. Apress. https://doi.org/10.1007/978-1-4842-3829-5
Chicago-Zitierstil (17. Ausg.)Wayne, Hillel. Practical TLA+: Planning Driven Development. Berkeley, CA: Apress, 2018. https://doi.org/10.1007/978-1-4842-3829-5.
MLA-Zitierstil (9. Ausg.)Wayne, Hillel. Practical TLA+: Planning Driven Development. Apress, 2018. https://doi.org/10.1007/978-1-4842-3829-5.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.