Bibliography

MAN95

M. Morris Mano, Digital Design, Prentice Hall, 1995.

TAN92

Andrew S. Tanenbaum, Modern Operating Systems, Prentice Hall, 1992.

SED00

Robert Sedgewick, Algorithms in C, Addison-Wesley, 2000.

ELM99

Ramez A. Elmasri, Shamkant B. Navathe, Fundamentals of Database Systems, Addison-Wesley, 1999.

PAT97

David A. Patterson, John L. Hennessy, Computer Organization and Design: The Hardware/Software Interface, Morgan Kaufmann, 1997.

HOP79

John E. Hopcroft, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.

PAU96

Lawrence C. Paulson, ML for the Working Programmer, Cambridge University Press, 1996.

HIN86

J. Roger Hindley, Jonathan P. Seldin, Introduction to Combinators and Lambda Calculus, Cambridge University Press, 1986.

ABE96

Harold Abelson, Gerald Jay Sussman, Julie Sussman, Structure and Interpretation of Computer Programs,MacGraw-Hill, 1996.

SIL98

Abraham Silberschatz, Peter Baer Galvin, Operating System Concepts, John Wiley & Sons, 1998.

HEN96

John L. Hennessy, David A. Patterson, Computer Architecture : A Quantitative Approach, Morgan Kaufmann, 1996

AHO83

Alfred V. Aho, John E. Hopcroft, Jeffrey Ullman, Data Structures and Algorithms, Addison-Wesley, 1983

HAM88

A.G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1988.

BEN93

M. Ben-Ari, Mathematical Logic for Computer Science, Prentice Hall, 1993.