2 books • 2 series
Variations on Constants (Lecture Notes in Computer Science, #3800) (Programming and Software Engineering, #3800)
Modular Compiler Verification (Lecture Notes in Computer Science, #1283)