Computer programs are patentable.
Should ACM have graded memberships?
Computer patent disclosures.
President's letter to the ACM membership.
Certification of Algorithm 207: Stringsort.
Constraint-type statements in programming languages.
A method of syntax specification.
On reducing truncation errors by programming.
Patent protection of computer programs.
Certification of algorithm 221: Gamma function.
History and summary of FORTRAN standardization development for the ASA.
Certification of algorithm 218: Kutta Merson.
Algorithm 242: Permutations of a set with repetitions.
Joint inventorship of computers.
Certification of algorithm 203: Steep1.
MIRFAC: a reply to Professor Dijkstra.
Certification algorithm 225: Gamma function with controlled accuracy.
Copyright aspects of computer usage.
More on integer conversion.