Masami Hagiya, Philip Wadler Functional and Logic Programming - Germany Springer 2006 ISBN: 978-3-540-33439-2 Subjects--Topical Terms: Computer ScienceFunctional and Logic Programming