Difference Equations and Inequalities. Marcel Dekker, New York. 2000.
 Some properties of fix-free codes, In Proceedings of the 1st International Seminarium on Coding Theory and Combinatorics. 1996 (Thahkadzor, Armenia). 20–23.
 The Theory of Parsing, Translation and Compiling Vol. I.. Prentice-Hall. 1972.
 The Theory of Parsing, Translation and Compiling Vol. II.. Prentice-Hall. 1973.
 Compilers, Principles, Techniques and Tools. Addison-Wesley. 1986.
 The Shortest Vector Problem in is NP-hard for Randomized Reduction, In Proceedings of the 30th Annual ACM Symposium on Theory of Computing. 1998. 10–18.
 Sorting in parallel steps. Combinatorica . 1983. 1–19.
 Elements of Computer Algebra with Applications. John Wiley & Sons. 1989.
 Dynamic TCP acknowledgement, penalizing long delays, In Proceedings of the 25th ACM-SIAM Symposium on Discrete Algorithms. 2003. 47–55.
 Graph isomorphism is in SPP, In Proceedings of the 43rd IEEE Symposium on Foundations of Computer Science. IEEE Computer Society Press. 2002. 743–750.
 On-line load balancing with applications to machine scheduling and virtual circuit routing. Journal of the ACM . 1997. 486–504.
 Theoretische Informatik. Pearson Studium. 2002.
 Mathematical Methods of Game and Economic Theory. North-Holland . 1979.
 Throughput-competitive online routing, In Proceedings of the 34th Annual Symposium on Foundations of Computer Science. 1993. 32–40.
 Trading group theory for randomness, In Proceedings of the 17th ACM Symposium on Theory of Computing. ACM Press. 1985. 421–429.
 Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes. Journal of Computer and Systems Sciences. 1988. 254–276.
 Shelf algorithms for two dimensional packing problems. SIAM Journal on Computing. 1983. 508–525.
 Universal data compression based on the Burrows-Wheeler transform: theory and practice. IEEE Transactions on Computers. 2000. 1043–1053–953.
 Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. SIAM . 1994.
 Convergence of the shifted QR algorithm on normal matrices. Numerische Mathematik. 1990. 341–352.
 Modeling for text compression. Communications of the ACM . 1989. 557–591.
 Text Compression. Prentice Hall. 1990.
 The asymptotic number of labeled graphs with given degree sequences. Combinatorial Theory Series A. 1978. 296–307.
 One-way functions in worst-case cryptography: Algebraic and security properties are on the house. SIGACT News. 1999. 25–40.
 Twenty years of attacks on the RSA cryptosystem. Notices of the AMS . 1999. 203–213.
 Restrictive acceptance suffices for equivalence problems. London Mathematical Society Journal of Computation and Mathematics. 2000. 86–95.
 Theory of Computation - Formal Langauges, Automata, and Complexity. The Benjamin/Cummings Publishing Company. 1989.
 An Improved Deterministic Local Search Algorithm for 3-SAT. Theoretical Computer Science. 2004. 303–313.
 Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomidealitle. PhD dissertation, Leopold-Franzens-Universität, Innsbruc. 1965.
 A block-sorting lossless data compression algorithm. Research Report 124, http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-124.html . 1994.
 The Calgary/Canterbury Text Compression. ftp://ftp.cpsc.ucalgary.ca/pub/projects/text.compression.corpus . 2004.
 The Canterbury Corpus. http://corpus.canterbury.ac.nz . 2004.
 Randomness conductors and constant-degree lossless expanders, In Proceedings of the 34th ACM Symposium on Theory of Computing. IEEE Computer Society. 2001. 443–452.
 Theory of Finite Automata. Prentice Hall, Englewood Cliffs, New Jersey. 1989.
 Universal Classes of Hash Functions. Journal of Computer and System Sciences. 1979. 143–154.
 Bounds for list schedules on uniform processors. SIAM Journal on Computing. 1980. 91–103.
 Resources for Computer Algebra. Computers in Physics . 1984. 308–315.
 New results on the server problem. SIAM Journal on Discrete Mathematics. 1991. 172–181.
 An optimal algorithm for -servers on trees. SIAM Journal on Computing. 1991. 144–148.
 Computer and Job Shop Scheduling. John Wiley & Sons. 1976.
 Computer Algebra for Industry: Problem Solving in Practice. John Wiley & Sons. 1993.
 Computer Algebra for Industry 2, Problem Solving in Practice. John Wiley & Sons. 1995.
 The Complexity of Theorem Proving Procedures, In Proceedings of the 3th Annual ACM Symposium on Theory of Computing. ACM Press. 1971. 151–158.
 Engineering a Compiler. Morgan Kaufman Publisher. 2004.
 Small solutions to polynomial equations, and low exponent RSA vulnerabilities. Journal of Cryptology. 1997. 233–260.
 Elements of Information Theory. John Wiley & Sons. 1991.
 Shelf algorithms for on-line strip packing. Information Processing Letters. 1997. 171–175.
 Coding Theorems for Discrete Memoryless Systems. Akadémiai Kiadó. 1981.
 A deterministic algorithm for -SAT based on local search. Theoretical Computer Science. 2002. 69–83.
 Computer Algebra: Systems and Algorithms for Algebraic Computation. Academic Press. 2000.
 On the complexity of computing error bounds. Foundations of Computational Mathematics. 2001. 101–125.
 Lower bound for the redundancy of self-correcting arrangements of unreliable functional elements. Problems of Information Transmission (translated from Russian). 1977. 59–65.
 Upper bound for the redundancy of self-correcting arrangements of unreliable elements. Problems of Information Transmission (translated from Russian). 1977. 201–208.
 On-line analysis of the TCP acknowledgement delay problem. Journal of the ACM . 2001. 243–273.
 Better online algorithms for scheduling with machine cost. SIAM Journal on Computing. 2004. 1035–1051.
 New upper and lower bounds for online scheduling with machine cost. Discrete Optimization . 2010. 125–135.
 Random Trees. SpringerWienNewYork . 2009.
 Problem Solving in Automata, Languages, and Complexity. John Wiley & Sons. 2001.
 An Introduction to Difference Equations. Springer-Verlag. 1999 (2nd edition).
 Universal lossless source coding with the Burrows-Wheeler transform. IEEE Transactions on Information Theory. 2002. 1061–1081.
 Gap-definable counting classes. Journal of Computer and System Sciences. 1994. 116–148.
 Competitive -server algorithms. Journal of Computer and System Sciences. 1994. 410–428.
 Online Algorithms. The State of Art. Springer-Verlag. 1998.
 Crafting a Compiler. The Benjamin/Cummings Publishing Company. 1988.
 Analytic Combinatorics. Addison-Wesley. 2009.
 On-line scheduling revisited. Journal of Scheduling . 2000. 343–353.
 Introduction to the Theory of Games: Concepts, Methods and Applications. Kluwer Academic Publishers. 1999.
 Lösung linearer Gleichungssysteme auf Parallelrechnern. Vieweg Verlag. 1990.
 Diophantine Equations and Power Integral Bases: New Computational Methods. Birkhäuser Boston. 2002.
 Low-density Parity-check Codes. The MIT Press. 1963.
 Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman . 1979.
 Modern Computer Algebra (first edition). Cambridge University Press. 1993.
 Modern Computer Algebra (second edition). Cambridge University Press. 2003.
 Reliable cellular automata with self-organization. Journal of Statistical Physics. 2001. 45–267, See also www.arXiv.org/abs/math.PR/0003117 and The Proceedings of the 1997 Symposium on the Theory of Computing.
 Lower bounds for the complexity of reliable Boolean circuits with noisy gates. IEEE Transactions on Information Theory. 1994. 579–583.
 A simple three-dimensional real-time reliable cellular array. Journal of Computer and System Sciences. 1988. 125–147.
 Algebraic Theory of Automata. Akadémiai Kiadó, Budapest. 1972.
 Algorithms for Computer Algebra. Kluwer Academic Publishers. 1992.
 Deterministic Generalized Automata. Theoretical Computer Science. 1999. 191–208.
 Randomness, interactive proofs, and zero-knowledge - A survey, In R. Herken The Universal Turing Machine: A Half-Century Survey. Oxford University Press. 1988. 377–405.
 Proofs that yield nothing but their validity or all languages in NP. Journal of the ACM. 1991. 691–729.
 Foundations of Cryptography. Cambridge University Press. 2001.
 Interactive proof systems, In J. Hartmanis (Ed.) Computational Complexity Theory, AMS Short Course Lecture Notes: Introductory Survey Lectures. Proceedings of Symposia in Applied Mathematics. American Mathematical Society. 1989. 108–128.
 The knowledge complexity of interactive proof systems. SIAM Journal on Computing. 1989. 186–208.
 Private coins versus public coins in interactive proof systems, In S. Micali (Ed.), Randomness and Computation, Advances in Computing Research. JAI Press. 1989. 73–90, A preliminary version appeared in Proc. 18th Ann. ACM Symp. on Theory of Computing, 1986.
 Bounds for certain multiprocessor anomalies. The Bell System Technical Journal. 1966. 1563–1581.
 Concrete Mathematics. Addison-Wesley. 1994 (2nd edition).
 Mathematics for the Analysis of Algorithms. Birkhäuser . 1990 (3rd edition).
 Compiler Construction for Digital Computers. John Wiley & Sons. 1971.
 Symbolic Computation: Applications to Scientific Computing, Frontiers in Applied Mathematics, Vol. 5. SIAM . 1989.
 Modern Compiler Design. John Wiley & Sons. 2000.
 Applied Iterative Methods. Academic Press. 1981.
 Mathematics of Information and Coding. American Mathematical Society. 2002.
 Nonlinear and Dynamic Programming. Addison-Wesley. 1964.
 Introduction to Information Theory and Data Compression. Chapman & Hall. 2003 (2nd edition).
 A Guide to Computer Algebra Systems. John Wiley & Sons. 1991.
 Introduction to Formal Language Theory. Addison-Wesley. 1978.
 Solving simultaneous modular equations of low degree. SIAM Journal on Computing. 1988. 336–341, Special issue on cryptography.
 Future Directions for Research in Symbolic Computation, SIAM Reports on Issues in the Mathematical Sciences. SIAM . 1990.
 Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for one-way functions in complexity theory, In M. Coppo, M. Coppo et al. (Eds.) ICTCS 2005, Lecture Notes in Computer Science . Springer Verlag. 2005. 265–279.
 The Complexity Theory Companion, EATCS Texts in Theoretical Computer Science. Springer-Verlag. 2002.
 If PNP then Some Strongly Noninvertible Functions are Invertible. Theoretical Computer Science. 2006. 54–62.
 Creating strong, total, commutative, associative one-way functions from any one-way function in complexity theory. Journal of Computer and Systems Sciences. 1999. 648–659.
 Tight lower bounds on the ambiguity in strong, total, associative, one-way functions. Journal of Computer and System Sciences. 2004. 657–674.
 Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. 2006 (in German: Einführung in Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson Studium, 2002). 3rd edition.
 Introduction to Automata Theory, Languages, and Computation. Addison-Wesley. 1979.
 A Method for the Construction of Minimum-Redundancy Codes. Proceedings of the IRE. (1952). 1098–1101.
 Abstract Algebra: An Introduction. Saunders College Publishers. 1990.
 Compilers, Their Design and Construction using Pascal. John Wiley& Sons. 1985.
 Online strip packing with modifiable boxes. Operations Research Letters. 2001. 79–86.
 Online scheduling with general machine cost functions. Discrete Applied Mathematics. 2009. 2070–2077.
 On time lookahead algorithms for the online data acknowledgement problem, In Proceedings of MFCS 2007 32nd International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science . Springer-Verlag. 2007. 288–297.
 Scheduling with machine cost, In Proceedings of APPROX'99, Lecture Notes in Computer Science . 1999. 168–176.
 Performance bounds for simple bin packing algorithms. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computarorica . 1984. 77–82.
 Informatikai algoritmusok 1 (Algorithms of Informatics, Vol. 1). ELTE Eötvös Kiadó. 2004. Elektronic version: ELTE Informatikai Kar, 2005.
 Informatikai algoritmusok 2 (Algorithms of Informatics, Vol. 2). ELTE Eötvös Kiadó. 2005.
 Improved Upper Bounds for 3-SAT, In J. Munro (Ed.) Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 328–329. Society for Industrial and Applied Mathematics. 2004.
 Fast algorithms for bin packing. Journal of Computer and System Sciences. 1974. 272–314.
 Worst-case performance-bounds for simple one-dimensional bin packing algorithms. SIAM Journal on Computing. 1974. 299–325.
 A generalization of Brouwer's fixed point theorem. Duke Mathematical Journal. 1941. 457–459.
 The secure use of RSA. CryptoBytes . 1995. 7–13.
 The nonlinear complementarity problems with applications. I, II.. Journal of Optimization Theory and Applications. 1969. 87–98 and 167–181.
 Use of Symbolic Computation in Probability and Statistics, In Z. Karian (Ed.) Symbolic Computation in Undergraduate Mathematics Education. Mathematical Association of America, Number 24 in Notes of Mathematical Association of America. 1992.
 Dynamic TCP acknowledgement and other stories about , In Proceedings of the 31st Annual ACM Symposium on Theory of Computing. 2001. 502–509.
 Reducibility Among Combinatorial Problems, In R. E. Miller, J. W. Thatcher Complexity of Computer Computations. Plenum Press. 1972. 85–103.
 Combinatorica cu aplicatii (Combinatorics with Applications). Presa Universitara Clujeana. 2003.
 Automata and Formal Languages. Prentice Hall. 1995.
 Generating random regular graphs, In Proceedings of the Thirty Fifth ACM Symposium on Theory of Computing. 2003. 213–222.
 Fundamental Algorithms, The Art of Computer Programming, Vol. 1.. Addison-Wesley. 1968 (3rd updated edition).
 Seminumerical Algorithms, The Art of Computer Programming, Vol. 2.. Addison-Wesley. 1969 (3rd corrected edition).
 Sorting and Searching, The Art of Computer Programming, Vol. 3.. Addison-Wesley. 1973 (3rd corrected edition).
 On the -server conjecture. Journal of the ACM . 1995. 971–983.
 Computer Algebra: Impact and Perspectives. Nieuw Archief voor Wiskunde . 1999. 29–55.
 Automata and Computability. Springer-Verlag. 1995.
 Turing machines with few accepting computations and low sets for PP. Journal of Computer and System Sciences. 1992. 272–286.
 The Graph Isomorphism Problem: Its Structural Complexity. Birkhäuser . 1993.
 The performance of universal encoding. IEEE Transactions on Information Theory. 1981. 199–207.
 Contributions to the Theory of Games. II. Princeton University Press. 1953.
 Space efficient linear time computation of the Burrows and Wheeler transformation, In I. Althöfer, N. Cai, G. Dueck, L. Khachatrian, M. Pinsker, A. Sárközy, I. Wegener, Z. Zhang (Eds.): Numbers, Information and Complexity. Kluwer Academic Publishers. 2000. 375–383.
 Information storage in a memory assembled from unreliablecomponents. Problems of Information Transmission (translated from Russian). 1973. 254–264.
 A comparison of polynomial time reducibilities. Theoretical Computer Science. 1975. 103–124.
 An introduction to arithmetic coding. IBM Journal of Research and Development. 1984. 135–149.
 The Development of the Number Field Sieve, Lecture Notes in Mathematics. Springer-Verlag. 1993.
 Introduction to Finite Fields and Their Applications. Cambridge University Press. 1986.
 An Introduction to Formal Languages and Automata. Jones and Barlett Publishers. 2001.
 An Introduction to Formal Language and Automata. Jones and Bartlett Publishers, Inc.. 2006. 4th edition.
 Algebraic Combinatorics on Words. Cambridge University Press. 2002.
 Writing Compilers and Interpreters. Addison-Wesley. 1991.
 Competitive algorithms for server problems. Journal of Algorithms . 1990. 208–230.
 Two-person zero-sum games and quadratic programming. Journal of Mathematical Analysis and its Applications. 1964. 348–355.
 Mathematical Theory of Computation. McGraw-Hill Book Co.. 1974.
 Nonlinear Programming Theory and Methods. Akadémiai Kiadó. 1975.
 A note on the graph isomorphism counting problem. Information Processing Letters. 1979. 131–132.
 Automata and Languages: Theory and Applications. Springer-Verlag. 2000.
 The equivalence problem for regular expressions with squaring requires exponential space, In Proceedings of the 13th IEEE Symposium on Switching and Automata Theory. 1972. 129–129.
 Complexity of Lattice Problems: A Cryptographic Perspective, The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers. 2002.
 Difference Equations. Theory and Applications. Van Nostrand Reinhold. 1990.
 Mathematics for Computer Algebra. Springer . 1992.
 Riemann's Hypothesis and Tests for Primality. Journal of Computer and Systems Sciences. 1976. 300–317.
 Equilibrium points of finite games. SIAM Journal of Applied Mathematicsiadó. 1976. 397–402.
 Algorithmic Algebra. Springer . 1993.
 An Introduction to Formal Language Theory. Springer-Verlag. 1988.
 Protocol failures in cryptosystems, In G. Simmons Contemporary Cryptology: The Science of Information Integrity. IEEE Computer Society Press. 1992. 541–558.
 Randomized Algorithms. Cambridge University Press. 1995.
 Advanced Compiler Design and Implementation. Morgan Kaufman Publisher. 1997.
 Noncooperative games. Annals of Mathematics. 1951. 286–295.
 Theory of Games and Economical Behaviour. Princeton University Press. 1947 (2nd edition).
 Note on noncooperative games. Pacific Journal of Mathematics. 1955. 807–815.
 Applications of Symbolic Mathematics to Mathematics. Kluwer Academic Publishers. 1985.
 Expectation and Stability of Oligopoly Models. Springer . 1976.
 The Theory of Oligopoly with Multi-Product Firms. Springer . 1999 (2nd edition).
 Computational Complexity. Addison-Wesley. 1994.
 Source Coding Algorithms for Fast Data Compression. Stanford University. 1976.
 An improved exponential-time algorithm for -SAT, In Proceedings of the 39th IEEE Symposium on Foundations of Computer Science, pages 628–637. IEEE Computer Society Press. 1998.
 Computer Algebra. Scientific American . 1981. 102–113.
 On a lower bound for the redundancy of reliable networks with noisy gates. IEEE Transactions on Information Theory. 1991. 639–643.
 The Art of Compiler Design, Theory and Practice. Prentice Hall. 1992.
 Theorems on factorization and primality testing. Proceedings of the Cambridge Philosophical Society. 1974. 521–528.
 An observation on associative one-way functions in complexity theory. Information Processing Letters. 1997. 239–244.
 Probabilistic Algorithms for Testing Primality. Journal of Number Theory. 1980. 128–138.
 Upward separation for FewP and related classes. Information Processing Letters. 1994. 175–180, (Corrigendum appears in the same journal,74(1-2):89, 2000).
 Reliable computation with noisy circuits and decision trees-a general lower bound, In Proceedings of the 32-nd IEEE FOCS Symposium. 1991. 602–611.
 Generalized Kraft inequality and arithmetic coding. IBM Journal of Research and Development. 1976. 198–203.
 Integration in Finite Terms. Columbia University Press. 1948.
 A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. Communications of the ACM . 1978. 120–126.
 An iterative method of solving a game. Annals of Mathematics. 1951. 296–301.
 Existence and uniqueness of equilibrium points for concave -person games. Econometrica . 1965. 520–534.
 Some Facets of Complexity Theory and Cryptography: A Five-Lecture Tutorial. ACM Computing Surveys. 2002. 504–549.
 A promise class at least as hard as the polynomial hierarchy. Journal of Computing and Information. 1995. 92–107.
 Complexity Theory and Cryptology. An Introduction to Cryptocomplexity, EATCS Texts in Theoretical Computer Sciencey. Springer-Verlag. 2005.
 Handbook of Formal Languages, Volumes I-III.. Springer-Verlag. 1997.
 Theory of Automata. Pergamon Press. 1969.
 Formal Languages. Academic Press. 1987 (2nd updated edition).
 Public-Key Cryptography, EATCS Monographs on Theoretical Computer Science, Vol. 23. Springer-Verlag. 1996 (2nd edition).
 Data Compression. Springer-Verlag. 2004 (3rd edition).
 Introduction to Data Compression. Morgan Kaufman Publisher. 2000 (2nd edition).
 A low and a high hierarchy within NP. Journal of Computer and System Sciences. 1983. 14–28.
 Graph isomorphism is in the low hierarchy. Journal of Computer and System Sciences. 1987. 312–323.
 A probabilistic algorithm for -SAT based on limited local search and restart, In Proceedings of the 40th IEEE Symposium on Foundations of Computer Science. IEEE Computer Society Press. 1999. 410–414.
 An Introduction to the Analysis of Algorithms. Addison-Wesley. 1996.
 Polynomial time enumeration reducibility. SIAM Journal on Computing . 1978. 440–457.
 TIP=PSPACE. Journal of the ACM . 1992. 869–877.
 The synthesis of two-terminal switching circuits. The Bell Systems Technical Journal. 1949. 59–98.
 Note on a computation method in the theory of games. Communications on Pure and Applied Mathematics. 1958. 587–593.
 Scheduling parallel machines online. SIAM Journal on Computing. 1995. 1313–1331.
 Finite Fields: Theory and Computation The Meeting Point of Number Theory, Computer Science, Coding Theory, and Cryptography. Kluwer Academic Publishers. 1999.
 Automata Theory. World Scientific Publishing Company. 1999.
 Theory of Formal Languages with Applications. World Scientific Publishing Company. 1999.
 Introduction to the Theory of Computation. PWS Publishing Company. 1997.
 Amortized efficiency of list update and paging rules. Communications of the ACM . 1985. 202–208.
 The Algorithmic Resolution of Diophantine Equations, In London Mathematical Society Student Text. Cambridge University Press. 1998.
 A fast Monte Carlo test for primality. SIAM Journal on Computing. 1977. 84–85.
 Linear-time encodable and decodable error-correcting codes, In Proceedings of the 27th ACM STOC Symposium. 1995. 387–397 (further IEEE Transactions on Information Theory 42(6): 1723–1732).
 Highly fault-tolerant parallel computation, In Proceedings of the 37th IEEE Foundations of Computer Science Symposium. 1996. 154–163.
 Cryptography: Theory and Practice. CRC Press. 2002 (2nd edition).
 The polynomial-time hierarchy. Theoretical Computer Science. 1977. 1–22.
 Finite Automata, Formal Logic, and Circuit Complexity. Birkhäuser . 1994.
 Languages and Machines. Addison-Wesley. 1997.
 Principles and Procedures of Numerical Analysis. Plenum Press. 1998.
 A lattice-theoretical fixpoint theorem and its application. Pacific Journal of Mathematics. 1955. 285–308.
 JPEG 2000 - Image Compression, Fundamentals, Standards and Practice. Society for Industrial and Applied Mathematics. 1983.
 Reliable information storage in memories designed from unreliable components. The Bell Systems Technical Journal. 1968. 2299–2337.
 Compiler Writing. McGraw-Hill Book Co.. 1985.
 On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, ser. 2. 1936.
 The relative complexity of checking and evaluating. Information Processing Letters. 1976. 20–23.
 On-line machine scheduling. Phd thesis, Eindhoven University of Technology. 1997.
 An improved lower bound for on-line bin packing algorithms. Information Processing Letters. 1992. 277–284.
 Lower and upper bounds for on-line bin packing and scheduling heuristics. PhD thesis, Erasmus University, Rotterdam. 1995.
 Computational Complexity. D. Reidel Publishing Company. 1986 (and Kluwer Academic Publishers, 2001).
 Compiler Construction. Springer-Verlag. 1984.
 The JPEG still picture compression standard. Communications of the ACM . 1991. 30–44.
 Bulge exchanges in algorithms of QR type. SIAM Journal on Matrix Analysis and Application. 1998. 1074–1096.
 Formal Language: A Practical Introduction. Franklin, Beedle & Associates, Inc.. 2008.
 Vorlesungen zur Komplexitätstheorie. B. G. Teubner Verlagsgesellschaft. 2000.
 Codes and Cryptography. Oxford University Press. 1988.
 Convergence of the LR, QR, and related algorithms. The Computer Journal. 1965. 77–84.
 The context-tree weighting method: basic properties. IEEE Transactions on Information Theory. 1995. 653–664.
 The context-tree weighting method: basic properties. IEEE Information Theory Society Newsletter. 1997. 1 and 20–27.
 Polynomial Algorithms in Computer Algebra. Springer-Verlag. 1990.
 Arithmetic coding for sequential data compression. Communications of the ACM . 1987. 520–540.
 New algorithms for bin packing. Journal of the ACM . 1980. 207–227.
 Iterative Solution of Large Linear Systems. Academic Press. 1971.
 On-line file caching. Algorithmica . 2002. 371–383.
 A universal algorithm for sequential data compression. IEEE Transactions on Information Theory. 1977. 337–343.
 Compression of individual sequences via variable-rate coding. IEEE Transactions on Information Theory. 1978. 530–536.