Axiomatizations of logics of programs. Unpublished manuscript, Bar-Ilan Univ (1977)

by D Gabbay