Logical Rules of Natural Reasoning about Programs

Fred Kröger. Logical Rules of Natural Reasoning about Programs. In ICALP. pages 87-98, 1976.