Mitchell Wand, Zheng-Yu Wang. Conditional Lambda-Theories and the Verification of Static Properties of Programs. Inf. Comput., 113(2):253-277, September 1994.
@article{WandW94,
title = {Conditional Lambda-Theories and the Verification of Static Properties of Programs},
author = {Mitchell Wand and Zheng-Yu Wang},
year = {1994},
month = {September},
tags = {program verification},
researchr = {https://researchr.org/publication/WandW94},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {113},
number = {2},
pages = {253-277},
}