Modal Logic And Process Algebra door Alban Ponse