Books by International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England) on BookTides.