Program logics : a short survey - Fisher, Michael. (Technical report, 1986)