spec47 documents