David Harel. How Hard is it to Reason about Propositional Programs?. In Manfred Broy, editor, Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. Volume 118 of NATO ASI Series, pages 265-284, Springer, 1992. [doi]
Abstract is missing.