Download PDF - Elementary properties of the class of nondeterministic polynomial time computable functions