This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
The earlier statement that did not travel
A subject the papers are about. The loosest grouping, and the one to reach for last.
Results published correctly, years before the work everyone credits. Held in pairs, so the earlier statement sits beside the one that travelled. The criterion is evidential rather than topical: the corpus must hold both documents, so the priority can be checked rather than asserted.
7 references
Incorrectness logic
Peter W. O'Hearn (2020) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Reverse Hoare Logic
Edsko de Vries and others (2011) · Software Engineering and Formal Methods · Springer Science+Business Media
Multics security evaluation: vulnerability analysis
Paul A. Karger and others (2002) · 18th Annual Computer Security Applications Conference (ACSAC 2002)
Reflections on Trusting Trust
Ken Thompson (1984) · Communications of the ACM · Association for Computing Machinery
Arithmetices principia, nova methodo exposita
Giuseppe Peano (1889) · Fratres Bocca
Was sind und was sollen die Zahlen?
Richard Dedekind (1888) · Friedrich Vieweg und Sohn
Lehrbuch der Arithmetik für höhere Lehranstalten
Hermann Grassmann (1861) · Th. Chr. Fr. Enslin