Wayne, H., & Wayne, H. (2018). Practical TLA+: Planning Driven Development (1st ed. 2018.). Apress : Imprint: Apress. https://doi.org/10.1007/978-1-4842-3829-5
Παραπομπή σε μορφή Chicago (17η εκδ.)Wayne, Hillel, και Hillel Wayne. Practical TLA+: Planning Driven Development. 1st ed. 2018. Berkeley, CA: Apress : Imprint: Apress, 2018. https://doi.org/10.1007/978-1-4842-3829-5.
Παραπομπή σε μορφή MLA (8th εκδ.)Wayne, Hillel, και Hillel Wayne. Practical TLA+: Planning Driven Development. 1st ed. 2018. Apress : Imprint: Apress, 2018. https://doi.org/10.1007/978-1-4842-3829-5.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.