ISBN 3540221743 books & textbook
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3018)
Springer /2004-06-24 Paperback / 248 Pages
isbn-10: 3540221743 / isbn-13: 9783540221746
