%0 Conference Paper
%B Logic-Based Program Synthesis and Transformation
%D 2008
%I Springer Berlin Heidelberg
%P 90-105
%T Denotation by Transformation
%@ 978-3-540-78769-3