The Impact of Language Design on the Production of Reliable Software (1975)

by J D Gannon, J J Horning
Venue:IEEE Trans. on Software Engineering