3 works on record
Static Analysis
Dependable Software Engineering. Theories, Tools, and Applications
Variations on Constants