David A. Schmidt: A Programming Notation for Tactical Reasoning. CADE 1984: 445-459