根据公司法律制度的规定，股东对公司董事、监事、高级管理人员给公司造成损失行为，提起股东代表诉讼的程序有( )。