APA (7th ed.) Citation

Wayne, H. (2018). Practical TLA+: Planning Driven Development. Apress. https://doi.org/10.1007/978-1-4842-3829-5

Chicago Style (17th ed.) Citation

Wayne, Hillel. Practical TLA+: Planning Driven Development. Berkeley, CA: Apress, 2018. https://doi.org/10.1007/978-1-4842-3829-5.

MLA (9th ed.) Citation

Wayne, Hillel. Practical TLA+: Planning Driven Development. Apress, 2018. https://doi.org/10.1007/978-1-4842-3829-5.