Wayne, H. (2018). Practical TLA+: Planning driven development. Apress.
Chicago Style (17th ed.) CitationWayne, Hillel. Practical TLA+: Planning Driven Development. [Berkeley, California]: Apress, 2018.
MLA (9th ed.) CitationWayne, Hillel. Practical TLA+: Planning Driven Development. Apress, 2018.
Warning: These citations may not always be 100% accurate.