Jonathan_P.__Bowen
A compendium of formal techniques for software maintenance
Occam's Razor: the cutting edge of parser technology
Seven More Myths of Formal Methods
Seven more myths of formal methods: Dispelling industrial prejudices
Ten commandments of formal methods