Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lau, Kung-Kiu; Lau, Kung-Kiu (Springer Berlin Heidelberg : Imprint: Springer, 2001)