A generalization of Dijkstra's calculus - Nelson, Greg (Systems Research Center <Palo Alto, Calif.>: SRC reports, 1987)