A Manual of Operation for the ASCC

O Harvard Mark I ficou pronto em 1944 e precisava ser explicado para alguém além de quem o construiu. O resultado foi o volume I dos Annals of the Computation Laboratory of Harvard University, publicado em 1946: mais de quinhentas páginas de descrição da máquina, diagramas de circuitos, tabelas de furos de código e — a parte realmente nova — exemplos resolvidos de como transformar um problema em uma fita de controle. Howard Aiken escreveu o prefácio; a maior parte do texto foi escrita por Grace Hopper e a equipe do laboratório.

O que torna o livro um marco é que ele trata a programação como um ofício com regras próprias, e não como uma nota de rodapé da engenharia elétrica. Nele se descreve como um cálculo é decomposto em etapas, onde os resultados intermediários ficam guardados nos contadores e como uma configuração é verificada antes de ser executada. Dois anos depois, o First Draft definiria o que é um computador; este livro já havia definido o que um programador faz.