設問Y市の住民Aは、Y市長による違法な公金支出について住民監査請求を行ったが、監査委員の監査の結果に不服がある。この場合にAが裁判所に対して提起できる訴訟は何と呼ばれるか。また、この訴訟の提起にはどのような手続を経ることが必要とされているか。40字程度で記述しなさい。