2 books • 1 series
Constraint-Based Verification (Springer Series on Atoms + Plasmas, #1364)
The Georgia Kaolins