Local state in hoare logic for imperative higher-order functions (2007)

by N Yoshida, K Honda, M Berger
Venue:In Proceedings of 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, number 4423 in LNCS