Logics of Programs

Zohar Manna. Logics of Programs. In IFIP Congress. pages 41-51, 1980.