Propositional dynamic logic of flowcharts, in (1983)

by D Harel, R Sherman
Venue:of LNCS