Books by International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy)