El resultado fue una extensa y detallada especificación funcional (the Red Book) (el Libro Rojo).