\documentstyle[rotating,11pt]{article}

\voffset=-2.0cm
\hoffset=-2.6cm
\textwidth=17.5cm
\textheight=22cm

\begin{document}

{\large Books and Proceedings having no label}

\begin{enumerate}
\item BOOK         (    ) Knuth, D.:  The TEX-book
\item BOOK         (    ) Steele, Guy, L.:  Common LISP
\item BOOK         (1951) Jacobson, Nathan:  Lectures in abstract algebra. Vol.1. Basic concepts.
\item BOOK         (1953) Jacobson, Nathan:  Lectures in abstract algebra. Vol.2. Linear algebra.
\item BOOK         (1961) LeVeque, William Judson:  Topics in number theory.  Vol. 2. 2. print.
\item BOOK         (1964) Jacobson, Nathan:  Lectures in abstract algebra. Vol.3. Field theory and Galois theory.
\item BOOK         (1966) Borewicz, Senon I.; Safarevic, Igor R.:  Zahlentheorie.  Aus dem Russ. uebers. von Helmut Koch.  Mit e. Geleitwort von Helmut Hasse.
\item BOOK         (1967) Rogers, Hartley:  Theory of recursive functions and effective computability.
\item BOOK         (1967) van der Waerden, B. L.:  Algebra. Unter Benutzung von Vorlesungen von E(mil) Artin und E(mmy) Noether. 5. Aufl.d. Modernen Algebra. 2. Teil.
\item BOOK         (1968) Brauer, Wilfried; Indermark, Klaus:  Algorithmen, rekursive Funktionen und formale Sprachen.
\item BOOK         (1968) Franz, Wolfgang:  Topologie. 1. Allgemeine Topologie. 3. Auflage.
\item BOOK         (1968) Jacobson, Nathan:  Structure of rings. Revised ed. repr.
\item BOOK         (1971) Alexandrov, P. S. (Hrsg.); Markusevic, A. I. (Hrsg.); Chincin, A. J. (Hrsg.):  Enzyklopaedie der Elementarmathematik. Uebersetzung aus dem Russischen. Band 5. Geometrie.
\item BOOK         (1973) Kolchin, E(llis) R.:  Differential algebra and algebraic groups.
\item BOOK         (1973) Sagle, Arthur A.; Walde, Ralph E.:  Introduction to Lie groups and Lie algebras.
\item BOOK         (1974) Jacobson, Nathan:  Basic algebra. 1.
\item BOOK         (1979) Bishop, Ron:  Einfache Mikroprozessoren und der 6800
\item BOOK         (1980) Alexandrov, P. S. (Hrsg.); Markusevic, A. I. (Hrsg.); Chincin, A. J. (Hrsg.):  Enzyklopaedie der Elementarmathematik. Uebersetzung aus dem Russischen. 2. Aufl. Band 4. Geometrie.
\item BOOK         (1980) Jacobson, Nathan:  Basic algebra. 2.
\item BOOK         (1982) Bernutat-Buchmann, Ulrike; Ehlich, Hartmut; Schlo~er, Karl-Heinz:  Proceedings of the 1982 Conferences on CYBER 200 in Bochum
\item BOOK         (1982) Cellier, Francois E.:  Progress in Modelling and Simulation.
\item BOOK         (1982) Hofstadter, Douglas R.:  Goedel, Escher, Bach.  An eternal golden braid.  A metaphorical fugue on minds and machines in the spirit of Lewis Carol.
\item BOOK         (1982) Spriet, Jan A.; Vansteenkiste Ghislain C.:  Computer-aided modelling and simulation.
\item BOOK         (1983) Bernutat-Buchmann; et al.:  Parallel Computing I, Eine Bibliographie
\item BOOK         (1983) Zaks, Rodney:  Programmierung des Z80. 2. Aufl.
\item BOOK         (1984) Bara, Bruno G. (Ed); Guida, Giovanni (Ed):  Computational Models of Natural Language Processing
\item BOOK         (1984) Ernst, Dietrich; Garbrecht, Kurt; et al.:  Chancen mit Chips. Zwischenbilanz einer Basistechnologie
\item BOOK         (1984) Lang, Serge:  Algebra. 2. ed.
\item BOOK         (1984) Zissos, D.:  System Design with Microprocessors.
\item BOOK         (1985) Arsac, Jacques:  Foundations of Programming
\item BOOK         (1985) Camion, Paul:  Can a Fast Signature Scheme without Secret Key be Secure
\item BOOK         (1985) Godfrey, M. D.; Hendry, D. F.; Hermans, H. J.; Hessenberg, R. K.:  Machine-independent Organic Software Tools (MINT)
\item BOOK         (1985) Godfrey, M.D.; Hendry, D.F.; Hermans, H.J.; Hessenberg, R.K.:  Machine-Independent Organic Software Tools (Mint)
\item BOOK         (1985) Hardy, G. H.; Wright, E. M.:  An introduction to the theory of numbers. 5. ed. repr.
\item BOOK         (1985) Janson, Philippe A.:  Operating Systems Structures and Mechanisms
\item BOOK         (1985) Janson, Philippe A.:  Operating Systems Structures and Mechanisms
\item BOOK         (1985) Manna, Z.; Waldinger, R.:  the logical basis for computer programming vol. 1
\item BOOK         (1985) Metcalf, Michael:  FORTRAN Optimization
\item BOOK         (1985) Metcalf, Michael:  FORTRAN Optimization
\item BOOK         (1986) Radermacher; Wirsing:  Proc. Berichte aus Informatikinstituten
\item BOOK         (1986) Ravenel, Douglas C.:  Complex cobordism and stable homotopy groups of spheres.
\item BOOK         (1986) Shelah, Saharon:  Around classification theory of models. (14 loosely connected papaers by Shelah.)
\item BOOK         (1987) Buchberger, Ernst:  AI-Dictionary
\item BOOK         (1988) Engeler, E.; Laeuchli, P.:  Berechnungstheorie fuer Informatiker
\item PROCEEDINGS  (1971) Clowes:  3rd int. joint conference on AI
\item PROCEEDINGS  (1971) Pinzani, R.:  sul trattamento automatico delle informazioni
\item PROCEEDINGS  (1975) nn:  int. conference on reliable software
\item PROCEEDINGS  (1977) Visconti:  4th int. colloquium on advanced computing methods in theoretical ph ysics
\item PROCEEDINGS  (1977) nn:  IJCAI'77
\item PROCEEDINGS  (1978) Derrett:  Software engineering: tools and methods
\item PROCEEDINGS  (1979) Baeuerle:  Symp. on the dynamic properties of solids and structured phase transitions
\item PROCEEDINGS  (1979) Lewis:  MACSYMA's user conference
\item PROCEEDINGS  (1979) Remmele:  Microcomputing
\item PROCEEDINGS  (1979) nn:  3. Tagung Berichte aus Informatikinstituten
\item PROCEEDINGS  (1980) Bourne:  7th ACM symposium on principles of programming languages
\item PROCEEDINGS  (1980) Davis:  LISP conference
\item PROCEEDINGS  (1980) Plander:  AI and information control systems of robots
\item PROCEEDINGS  (1980) Rossa:  Mini- and micro computer and their application
\item PROCEEDINGS  (1980) nn:  Computer architecture
\item PROCEEDINGS  (1981) Kambayashi:  Consecution retrieval property
\item PROCEEDINGS  (1981) Wang:  SYMSAC'81
\item PROCEEDINGS  (1981) nn:  Berichte aus Informatikinstituten
\item PROCEEDINGS  (1982) Philipp:  Grundlagen und Anwendunge der Informationsverarbeitung
\item PROCEEDINGS  (1982) nn:  Int. school of high energy physics for young scientists
\item PROCEEDINGS  (1983) Govorin:  Systems and techniques in analytic computation
\item PROCEEDINGS  (1983) Govorin:  simulation programs and mathematical methods for solving physical problems
\item PROCEEDINGS  (1983) Guttag:  NSF workshop on the rewrite rule lab.
\item PROCEEDINGS  (1983) Hamza:  Mini- and Microcomputer ...
\item PROCEEDINGS  (1983) Karpinski:  topics in the theory of computation
\item PROCEEDINGS  (1983) Maehle:  Fehlertolerante Mehrprozessor- und Mehrrechner-systeme
\item PROCEEDINGS  (1983) Mignotte:  algorithmique calcul formel arithmetique
\item PROCEEDINGS  (1983) Scheel:  Zur Bedeutung der Information ...
\item PROCEEDINGS  (1983) nn:  Berichte aus Informatikinstituten
\item PROCEEDINGS  (1984) Barth:  Berichte aus Informatikinstituten
\item PROCEEDINGS  (1984) Camp Linz:  advanced topics in computer architecture
\item PROCEEDINGS  (1984) Dresden:  algorithmische und logische Grundlagen der Programmierung
\item PROCEEDINGS  (1984) Eryov, A.N.:  Proc. of the conference on tranlation and program transformation techniques
\item PROCEEDINGS  (1984) General electrics:  MACSYMA user conference
\item PROCEEDINGS  (1984) Hyvoenen:  STEP'84
\item PROCEEDINGS  (1984) Mastronardi:  Mini- and Microcomputers
\item PROCEEDINGS  (1984) Prof:  teoriya i praktika automatizirovania
\item PROCEEDINGS  (1984) nn:  1st RIKEN symp.
\item PROCEEDINGS  (1985) Ebert, J. (ed.):  Alternative Konzepte fuer Sprachen und Rechner
\item PROCEEDINGS  (1985) Govorun, N.:  International conference on computer algebra and its applications in theoretical physics
\item PROCEEDINGS  (1985) O'Rourke:  Computational geometry
\item PROCEEDINGS  (1985) Snyder, Lawrence (ed.); Jamieson, Leah H.; Gannon, Dennis B.; Siegel, Howard Jay:  Algorithmically Specialized Parallel Computers
\item PROCEEDINGS  (1985) Steinringer:  Wirtschaft und Technik
\item PROCEEDINGS  (1985) Talukdar:  coupling symbolic and numeric computation in expert systems
\item PROCEEDINGS  (1985) nn:  2nd RIKEN symp.
\item PROCEEDINGS  (1985) nn:  4. Oe. Wissenschaftsmesse, Bd. 3
\item PROCEEDINGS  (1985) nn:  IFABO'85
\item PROCEEDINGS  (1985) nn:  UNIX transparent
\item PROCEEDINGS  (1986) Char:  SYMSAC'86
\item PROCEEDINGS  (1986) INRIA:  computer aided geometric reasoning
\item PROCEEDINGS  (1986) Kapur, D.; Mundy, (eds.):  Geometric Reasoning
\item PROCEEDINGS  (1986) Radermacher:  Berichte aus Informatikinstituten
\item PROCEEDINGS  (1986) nn:  3rd RIKEN symp.
\item PROCEEDINGS  (1986) nn:  ACM conf. LISP and functional programming (Auszuege)
\item PROCEEDINGS  (1986) nn:  EXHIBIT'86
\item PROCEEDINGS  (1987) Albrecht, A.; Jung, H.; Mehlhorn, K.:  Parallel algorithms and architectures
\item PROCEEDINGS  (1987) Arnon, Dennis A.:  Workshop on Environments for computational mathematics
\item PROCEEDINGS  (1987) Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.:  TAPSOFT'87
\item PROCEEDINGS  (1987) Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.:  TAPSOFT'87
\item PROCEEDINGS  (1987) Inria:  computer aided geometric reasoning, vol. 1
\item PROCEEDINGS  (1987) Inria:  computer aided geometric reasoning, vol. 2
\item PROCEEDINGS  (1987) Wagner, R.R.; Traunmueller, R.; Mayr, H.C.:  Informationsbedarfsermittlung und -analyse fuer den Entwurf von Informationssystemen
\item PROCEEDINGS  (1987) Wagner:  EMISA'87
\item PROCEEDINGS  (1987) nn:  ICIAM '87 Austellungskatalog
\item PROCEEDINGS  (1987) nn:  RIKEN symp.

\end{enumerate}

\end{document}
