Opinnäytetöiden ohjaus, Pro gradu -tutkielma: µ-kalkyyli - monadisen toisen kertaluvun predikaattilogiikan bisimilaarisesti invariantti fragmentti