The logic of ACP / A. Ponse, M.B. van der Zwaag