Logic Control and “Reactive” Systems: Algorithmization and Programming

Introduction to Algorithms

V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations

Computing, Computer Engineering, Computer Science +9

I.—COMPUTING MACHINERY AND INTELLIGENCE

Alan Turing · Mind · 1950 · 9.6K citations

Computing, Computer Science, Artificial Intelligence +4

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The mythical man-month: essays on software engineering

Choice Reviews Online · 1996 · 2.5K citations

Computing, Computer Science, Programming Languages +12

Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow · IEEE Transactions on Software Engineering · 1978 · 1.4K citations

Computing, Computer Science, Fault-tolerant Systems +15