1. World-wide computer;Berners-Lee;Communications of the ACM,1997
2. An abstract approach to (hereditary) finite sequences of combinators;Böhm,1980
3. The categorical abstract machine;Cousineau,1985
4. Categorical combinatory logic;Curien,1985
5. Tim Berners-Lee and the development of the World Wide Web;Gaines,2001