Modal logic and process algebra by Maarten de Rijke | Menrva Books | MenrvaBooks