Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets (2001)

by D Cantone, E G Omodeo, A Policriti
Venue:Monographs in Computer Science