Title: The setcube calculus of value sets
First published: 1996
Subjects: Calculus, Integrated circuits