Mathematical theory of program correctness /

ανά Bakker, J. W. de 1939-
Έκδοση 1980

Logic programming languages : constraints, functions, and objects /

Έκδοση 1993