First-order programming theories - Gergely, Tamas; Ury, Laszlo (Berlin : Springer-Verlag, 1991)
Includes bibliographical references and index
Keywords: Computer programming