Conditional lambda-theories and the verification of static properties of programs (1990)

by Mitchell Wand, Zheng-Yu Wang
Venue:In Proc. 5th IEEE Symposium on Logic in Computer Science