A Relational Theory of Computing (Lecture Notes in Computer Science) (v. 82)

primitive relators, dyadic relators, relator calculus, relator expression, selector file, constant relators, relational calculi, anomalous operations, program constructors, universal interpreter, relational calculus, semantic equations, relational operations, recursive function theory, virtual extension, successor function, base set, denotational semantics