This looks like a fellow traveler: https://github.com/markdewing/next_steps_in_programming/blob/master/programming_by_transformations.md (Spot the citation to @Konrad Hinsen's work!)

I left a [comment](https://github.com/markdewing/next_steps_in_programming/issues/1), maybe he'll join us.