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