Self-Assessment Procedure V: Database Systems.
Fast Parallel Sorting Algorithms.
A Time- and Space-Efficient Garbage Compaction Algorithm.
Value Conflicts and Social Choice in Electronic Funds Transfer System Developments.
Feedback Coupled Resource Allocation Policies in the Multiprogramming-Multicomputer System.
Communicating Sequential Processes.
Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs.