APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Cantone, Domenico, Eugenio Omodeo, and Alberto Policriti. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. New York: Springer, 2001.

MLA (9th ed.) Citation

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