APA Citation

Wayne, H. (2020). Practical TLA+. Apress.

Chicago Style Citation

Wayne, Hillel. Practical TLA+. Apress, 2020.

MLA Citation

Wayne, Hillel. Practical TLA+. Apress, 2020.

Warning: These citations may not always be 100% accurate.