- Harold Abelson,
Gerald Jay Sussman, and Jullie Sussman.
Structure and Interpretation of Computer Programs.
MIT Press, Cambridge, 1985.
- Alfred V. Aho, John E.
Hopcroft, and Jeffrey D. Ullman.
The Design and Analysis of Computer Algorithms.
Addison-Wesley, Reading, MA, 1974.
- Albert-László Barabási, Mônica Ferreira
da Silva, F. Paternò, Władysław M. Turski, Sten-Åke
Tärnlund, Ketil Bø, J. Encarnação,
Διομηδης
Σπινελλης, and Pëßtêr
Čĕżōġ.
Cite this paper.
¡Journal of Authors Against ASCII!, 45(281):69–77, 2000.
- Adele Goldberg and
David Robson.
Smalltalk-80: The Language.
Addison-Wesley, Reading, MA, 1989.
- Stefanos Gritzalis,
Diomidis Spinellis, and Panagiotis Georgiadis.
Security protocols over open networks and distributed systems: Formal
methods for their analysis, design, and verification.
Computer Communications, 22(8):695–707, May 1999.
(doi:10.1016/S0140-3664(99)00030-4)
- Diomidis Spinellis.
An implementation of the Haskell language.
Master's thesis, Imperial College, London, UK, June 1990.
(PDF)
- Diomidis Spinellis.
Implementing Haskell: Language implementation as a tool building
exercise.
Structured Programming (Software Concepts and Tools), 14:37–48,
1993.
- Diomidis Spinellis.
Programming Paradigms as Object Classes: A Structuring Mechanism for
Multiparadigm Programming.
PhD thesis, Imperial College of Science, Technology and Medicine, London, UK,
February 1994.
(PDF)
- Diomidis Spinellis.
Greek
character encoding for electronic mail messages.
Network Information Center, Request for Comments 1947, May 1996.
RFC-1947.
- Diomidis Spinellis.
Outwit: Unix tool-based programming meets the Windows world.
In Christopher Small, editor, USENIX 2000 Technical Conference
Proceedings, pages 149–158, Berkeley, CA, June 2000. Usenix
Association.
- Diomidis Spinellis.
Notable design patterns for domain specific languages.
Journal of Systems and Software, 56(1):91–99, February 2001.
(doi:10.1016/S0164-1212(00)00089-3)
- Diomidis Spinellis.
Code Reading: The Open
Source Perspective.
Effective Software Development Series. Addison-Wesley, Boston, MA, 2003.
- Diomidis Spinellis.
Global analysis and transformations in preprocessed languages.
IEEE Transactions on Software Engineering, 29(11):1019–1030,
November 2003.
- Ken Thompson.
Programming techniques: Regular expression search algorithm.
Communications of the ACM, 11(6):419–422, 1968.
(doi:10.1145/363347.363387)
- Elizabeth Zwicky, Simon
Cooper, and D. Brent Chapman.
Building Internet Firewalls.
O'Reilly and Associates, Sebastopol, CA, second edition, 2000.