E. F. Codd:
Derivability, Redundancy and Consistency of Relations Stored in Large Data Banks. Research Report / RJ / IBM / San Jose, California RJ599 (1969)
1962