(2001). Set theory for computing: From decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz.
Chicago-viite (17. p.)Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; Foreword by Jacob T. Schwatz. 2001.
MLA-viite (9. p.)Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; Foreword by Jacob T. Schwatz. 2001.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.