Scheme/Lisp seems to be a great representation for this, the author suggests diagrams and text, which I assume is optimal for most things, but sometimes it's helpful to write pseudo-code and it seems to me that S-expressions are almost friction less in that regard, especially since it provides visual structure without having to (re-)format code too much, but also because of the minimal syntax.