Henzinger, Thomas A., et al. “Lazy Abstraction.”10.1145/503272.503279__Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.