Describe DijkstraGriesProgramDerivationTechnique here.

What is this? ''Maybe something reachable from EwDijkstra has a hyperlink that can be used.''

now this is open source