Unifying classes and processes

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

Rationale for the design of the Ada programming language

Jean D. Ichbiah, Bernd Krieg-Brueckner, Brian Wichmann et al. · ACM SIGPLAN Notices · 1979 · 408 citations · Full text

Computing, Computer Engineering, Computer Science +12

Timed Communicating Object Z

Brendan Mahony, Jin Song Dong · IEEE Transactions on Software Engineering · 2000 · 122 citations

Engineering, Computer Science, Systems Engineering +17

A Refinement Strategy for <i>Circus</i>

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock · Formal Aspects of Computing · 2003 · 115 citations · Full text

Social Sciences, Strategy, Game Theory +4

Algebraic reasoning for object-oriented programming

Paulo Borba, Augusto Sampaio, Ana Cavalcanti et al. · Science of Computer Programming · 2004 · 106 citations

Computing, Computer Science, Algebra +10