Lettes to the editor: Proprietary packages: a point of view.
Remarks on algorithm 32: multint: certification of algorithm 32.
Procedures for the standardization process.
An algorithm for deriving the equations of mathematical physics by symbolic manipulation.
Computational linguistics in a Ph.D. computer science program.
Letters to the editor: On selecting the sites for IFIP congresses.
Automatic generation of efficient lexical processors using finite state techniques.
Algorithms: Algorithm 342: generator of random numbers satisfying the Poisson distribution.
Editorial: professional society publications.
Implementations of the SHARER2 time-sharing system.
Simulation of one abstract computing machine by another.
Letters to the editor: on master's level curricula survery.
Algorithm 343: eigenvalues and eigenvectors of a real general matrix.
Analysis of algorithms for the zero-one programming problem.
Code extension procedures for information interchange.