Functional and Logic Programming by Springer-Verlag, Z. Hu & M. Rodriquez