Conditional Lambda-Theories and the Verification of Static Properties of Programs - Mitchell Wand; Zheng-Yu Wang (Inf. Comput., 1994)