陈瑞华:法律程序构建的基本逻辑