Encoding a process algebra using the Event B method

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

Computing, Computer Science, Mathematics +17

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

Computing, Computer Science, Mathematics +17

The Z notation: A reference manual

Jan Madey · Science of Computer Programming · 1990 · 561 citations

Natural Sciences, Mathematics, Metrology +3

Abstract Interaction Objects

David Duke, Michael D. Harrison · Computer Graphics Forum · 1993 · 164 citations

Computing, Computer Science, Computer Graphics +8