From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions - Snyers, D. (Lecture Notes in Computer Science Ser.)