A Controlled Experiment in Program Testing and Code Walkthroughs/InspectionsGlenford J. Myers1978CACM
Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of ProgramsJohn Backus1978CACM
Bubbles for relational databaseHsu Chang1978Workshop on Computer Architecture for Non-Numeric Processing 1978