Awadhesh Kumar Singh Anup Kumar Bandyopadhyay Adding the leads-to operator to Dijkstra's calculus. 12-17 2004 39 SIGPLAN Notices 2 http://doi.acm.org/10.1145/967278.967282 db/journals/sigplan/sigplan39.html#SinghB04