Principles for modeling language design

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

Eiffel: the language

Information and Software Technology · 1992 · 994 citations

Requirements specification for process-control systems

Nancy G. Leveson, Mats P. E. Heimdahl, H. Hildreth et al. · IEEE Transactions on Software Engineering · 1994 · 556 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Why looking isn't always seeing

Marian Petre · Communications of the ACM · 1995 · 541 citations · Full text

Computing, Computer Science, Visual Communication +7