请参阅程序断言的英文

program assertion

• 请:    request; ask
• 参阅:    consult; refer to; ...
• 程序:    procedure
• 断言:    say with certainty ...