Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A. (Ed.). (1995). Constraint Programming: Basics and Trends. Berlin, Germany: Springer.