Dennis K. Knight: A new look at computer contracts. AFIPS National Computer Conference 1983: 735-741