The early history of flow diagrams as a formal method (abstract)

History of Abstract Interpretation (abstract)

The History and Evolution of B and Event-B (abstract)

Specification with class: A brief history of Object-Z (abstract)

Reasoning about shared-variable concurrency: interactions between research threads (abstract)

The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE (abstract)

Formal specifications and software testing: a fruitful convergence. (abstract)

Babbage's mechanical notation (abstract)

The School of Squiggol: A History of the Bird-Meertens Formalism (abstract)

From manuscripts to programming languages: an archivist perspective (abstract)