以下哪些属于当代中国法的正式渊源：

　　 A.国际条约

　　 B.宪法

　　 C.诉讼程序法

　　 D.特别行政区的法律

　　 解析

　　 第一步，本题考查法的要素知识。

　　 第二步，中国现时成文法渊源包括：宪法、法律、行政法规、地方性法规、自治法规、行政规章、特别行政区法、国际条约。其中宪法、法律、行政法规在中国法的渊源体系中分别居于核心地位和尤为重要的地位。ABD属于当代中国法的正式渊源，C项诉讼程序法属于法律，也是当代中国法的正式渊源，当选。

　　 因此，选择ABCD选项。

　　 考点

　　 法律

　　 法理学

　　 法的要素