Disambiguation evidence for An Axiomatic Basis for Computer Programming via surface form

"Hoare 1969"

Triples (1)

Triples where some other subject referred to this entity as "Hoare 1969".