下列哪些属于法律渊源中的正式形式？（ ）

正式法律渊源包括宪法、法律、行政法规、地方性法规、自治条例、规章、司法解释。国务院办公厅文件属于非正式渊源，故ABD正确。