Logics of Programs: Axiomatics and Descriptive (1978)

by D Harel
Venue:Power," MIT LCS TR.200