Barnes and Noble
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
Unfortunately, this item is no longer available, but we found some similar items you might like.