Algebras, Diagrams And Decisions In Language, Logic And Computation by Kees Vermeulen