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

CANTONE D.

OMODEO E. G.

POLICRITI, Alberto