Simulating the Gries/Dijkstra design process | IEEE Conference Publication | IEEE Xplore