3 books • 2 series
Numerica (The MIT Press)
Logic Program Synthesis and Transformation
Logic Programming (International Series in Logic Programming)