采用宪法法院等专门机构解释宪法的，有些国家过去只允许政府机关申请解释，不允许个人申请解释。第二次世界大战以后，方允许个人提起宪法诉讼。其程序大体包括 ( )等。