Paper: Local Reasoning for Robust Observational Equivalence by Dan R. Ghica, Koko Muroya and Todd Waugh Ambridge [PDF]
Blog posts: How to make a programming language out of an algebra, Part 1 and Part 2

This is a visualisation/simulation tool of the GoI-style programming language framework Sᴘᴀʀᴛᴀɴ, by Dan R. Ghica, Koko Muroya and Todd Waugh Ambridge. Visualiser implemented by Todd Waugh Ambridge (based on previous work by Steven Cheung, using graph-viz-d3-js for generating diagrams and lo-js for parsing).