一、程序法依据与实务类型