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