Annals of Pure and Applied Logic · 2005 · 30 citations · 16 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureProgramming LanguagesTopologyApplication Programming InterfacesComputational TopologyInterface DesignNetwork ArchitectureNetwork TopologySoftware DesignInterface DefinitionSoftware Interface Design
16
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations
Bowen Alpern, Fred B. Schneider · Information Processing Letters · 1985 · 1K citations
The existence of refinement mappings
Martı́n Abadi, Leslie Lamport · Theoretical Computer Science · 1991 · 734 citations