Add program specifications