1. Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs. MIT Press, Cambridge (1985),
http://mitpress.mit.edu/sicp/full-text/book/book.html
2. Abramsky, S., Malacaria, P., Jagadeesan, R.: Full abstraction for PCF. Information and Computation 163(2), 409–470 (2000)
3. Beffara, E.: An algebraic process calculus. In: Proceedings of LICS 2008 (to appear, 2008)
4. Lecture Notes in Computer Science;M. Berger,2001
5. Berry, G., Curien, P.-L., Lévy, J.-J.: Full abstraction for sequential languages: the state of the art. In: Nivat, M., Reynolds, J. (eds.) Algebraic Semantics, pp. 89–132. Cambridge University Press, Cambridge (1985)