Report Number: CS-TR-73-333
Institution: Stanford University, Department of Computer Science
Title: On the power of programming features.
Author: Chandra, Ashok K.
Author: Manna, Z ohar
Date: January 1973
Abstract: We consider the power of several programming features such as counters, pushdown stacks, queues, arrays, recursion and equality. In this study program schemas are used as the model for computation. The relations between the powers of these features is completely described by a comparison diagram.
http://i.stanford.edu/pub/cstr/reports/cs/tr/73/333/CS-TR-73-333.pdf