APA-Zitierstil (7. Ausg.)

Cantone, D., Omodeo, E., & Policriti, A. (2001). Set theory for computing: From decision procedures to declarative programming with sets. Springer.

Chicago-Zitierstil (17. Ausg.)

Cantone, Domenico, Eugenio Omodeo, und Alberto Policriti. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. New York ; Berlin ; Heidelberg ; Barcelona ; Hong Kong ; London: Springer, 2001.

MLA-Zitierstil (9. Ausg.)

Cantone, Domenico, et al. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. Springer, 2001.