De følgende spesifikasjonene, tekniske rapportene og designmerknadene beskriver forskjellige aspekter av PDE: