First-order : programming theories / Tamás Gergely, Lázló Ury. — Berlin : Springer-Verlag, 1991.
351 p.
ISBN 3540542779