Positivity and norms
Two Hadamard numbers for matrices
Perturbations of eigenvalues of non-normal matrices
A Vector Space Model for Automatic Indexing
Guarded commands, nondeterminacy and formal derivation of programs