Citação norma APA

Gasparinho, P. R. (2025). A Textbook of Verified OCaml Programs. A deductive study on algorithms and data structures.

Citação norma Chicago

Gasparinho, Pedro Ramos. A Textbook of Verified OCaml Programs. A Deductive Study on Algorithms and Data Structures. 2025.

Citação norma MLA

Gasparinho, Pedro Ramos. A Textbook of Verified OCaml Programs. A Deductive Study on Algorithms and Data Structures. 2025.

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