Reasoning About Arrays.
Consumer Difficulties With Computerized Transactions: An Empirical Investigation.
Social Processes and Proofs of Theorems and Programs.
A Model for and Discussion of Multi-Interpreter Systems.
An Improved Algorithm for Decentralized Extrema-Finding in Circular Configurations of Processes.