The Springer Journal “Formal Aspects of Computing” will produce an edition (31:6) which has papers relating to “Formal Methods”. At the moment, 5 papers, an editorial and an obituary of Zohar Manna are already visible on-line at

https://link.springer.com/journal/volumesAndIssues/165

If your institution has a Springer account, you ought be able to download PDFs free of charge

The editorial is by Jones&Oliveira [you have to hunt down the page for some of these]

Haigh on “Assembling a prehistory for formal methods: a personal view“ [please read this first - the following articles offer historical source material - they are written by the experts involved - not by card carrying historians]

Apt&Olderog on “Hoare Logic”

Moore on “… ACL/2"

Paulson,Nipkow&Wenzel on “… Isabelle”

Pous&Sangiorgi on “Bi-simulation and co-induction”

Dershowitz&Waldinger wrote the obituary of Zohar

cliff jones