Mathematical theory of program correctness /

מאת Bakker, J. W. de 1939-
יצא לאור 1980

Logic programming languages : constraints, functions, and objects /

יצא לאור 1993