诉讼程序属于程序性法律程序中的公力救济型程序。