Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.