Program logics a short survey - Fisher, Michael 1962-; Barringer, Howard (Dep. of Computer Science Univ. of Manchester, 1987)