A base for a mobile programming system.
On multiprogramming, machine coding, and computer organization.
On simulating networks of parallel processes in which simultaneous events may occur.
Remark on algorithm 251 [E4]: function minimization.
Algorithm 354: generator of spanning trees [H].
Certification of algorithm 323 [G6]: generation of permutations in lexicographic order.
An algorithm for finding a fundamental set of cycles of a graph.
ACM president's letter: "tell it like it is".
Compact list representation: definition, garbage collection, and system implementation.