Between 1984 and 1986, Luis Ferreira and Carlos Laufer have kept some relevant decisions and events in a notebook. It is a log of the kernel development. Most of the content of this journal has sourced official specifications.
Notebook cover:
System Structure on September 5th, 1985: