Re: [Haskell-cafe] Looking for a paper [Dijkstra-Dot]