1. Abramsky, S.: The lazy lambda calculus. In: Turner, D.A. (ed.) Research Topics in Functional Programming, pp. 65–117. Addison-Wesley, Reading (1990)
2. Alberti, M., Lago, U.D., Sangiorgi, D.: On coinductive equivalences for higher-order probabilistic functional programs. In: Proceedings of POPL’14. ACM (2014)
3. Bernardo, M., Sangiorgi, D., Vignudelli, V.: On the discriminating power of passivation and higher-order interaction, Submitted (2014)
4. Comaniciu, D., Ramesh, V., Meer, P.: Kernel-based object tracking. IEEE Trans. Pattern Anal. Mach. Intell. 25(5), 564–577 (2003)
5. Ferreira, W., Hennessy, M., Jeffrey, A.: A theory of weak bisimulation for core CML. J. Funct. Program. 8(5), 447–491 (1998)