Logical reasoning for higher-order functions with local state (2007)

by N Yoshida, K Honda, M Berger
Venue:In Foundations of Software Science and Computation Structure