Journal: ACM Computing Surveys

Volume 32, Issue 1

1 -- 9Mohamed Fayad. Introduction to the computing surveys electronic symposium on object-oriented application frameworks
12 -- 42Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi. Temporal logics for real-time system specification
43 -- 79Wilhelm Hasselbring. Programming languages and systems for prototyping concurrent applications
80 -- 107Palash Sarkar. A brief history of cellular automata