Bibliografía de Ingeniería Informática

Referencias sobre Lenguajes

Lenguajes artificiales

Autómatas. Informática Teórica

Björner, D.; Jones, C.B., ed.: "The Vienna Development Method: The Meta-Language", Springer, Berlin, 1978. CC.
Brookshear, J.G.: "Teoría de la Computción", Addison-Wesley, Madrid, 1989. Roberto.
Cuny, J.E.; Ehrig, H.; Engels, G.; Rozenberg, G. (Eds.): "Graph Grammars and Their Application to Computer Science", 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Lecture Notes in Computer Science, Vol. 1073. 1996. X, 565 pp. Softcover DM 110, ISBN 3-540-61228-9.
This book contains a collection of 37 refereed full papers. The book covers the whole spectrum of methods and techniques for the investigation of the structure of graphs and graph transformations. The papers are divided into nine topical sections on rewriting techniques, specification and semantics, software engineering, algorithms and architectures, concurrency, graph languages, pattern and graphics, structure and logic of graphs, and biology.
Fernández, G.; Sáez Vacas, F.: "Fundamentos de Informática, Lógica, Autómatas, Algoritmos y Lenguajes", Anaya Multimedia, Madrid, 1995.
Jelinek, F.; Lafferty, J.D.; Mercer, R.L.: "Basic Methods of Probabilistic Context Free Grammars", IBM Research RC 16374, 1990.
Kelley, D.: "Teoría de Autómatas y Lenguajes Formales", Prentice Hall, Madrid, 1995.
Martin, J.C.: "Introduction to Languages and the Theory of Computation", McGraw-Hill, New York, 1991. BII, 681-31-06 MAR.
Murata, T.: "Petri Nets: Properties, Analysis and Applications", Proc. IEEE, 77:4, pp. 541-580, Apr. 1989.
Ollongren, A.: "Definition of Programming Languages by Interpreting Automata", Academic Press, London, 1974. CC.
Rayward-Smith, V.J.: "Formal Language Theory", McGraw Hill, London, 1995. .
Wegner, P.: "Interactive Foundations of Object-Based Programming", Computer, pp.70-72, Oct. 1995.

Sistemas L. Fractales. Caos

Aihara, K.; Katayama, R.: "Chaos Engineering in Japan", Comm. ACM, 38:11, pp. 103-107, Nov. 1995.
Alfonseca, M.; Ortega, A.: "Fractales Gramaticales", Investigación y Ciencia, pp. 30-31, Feb. 1995.
Bedford, T.; Dekking, F.M.; Breeuwer, M.; Keane, M.S.; van Schooneveld, D.: "Fractal Coding of Monochrome Images", Signal Procesing: Image Communication, Vol 6, pp. 405-419, 1994.
Casey, S.D.; Reingold, N.F.: "Self-similar Fractal Sets: Theory and Procedure", IEEE Computer Graphics and Applications, pp. 73-82, May 1994.
Corbit, J.D.; Garbary, D.J.: "Computer simulation of the morphology and development of serveral species of seaweed using Lindenmayer systems", Computers & Graphics 17:1, pp. 85-8, 1993.
Crandall, R.E.: "Topics in Advanced Scientific Computation", Springer, New York, 1996.
Culik II, K.; Dube, S.: "Balancing Order and Chaos in Image Generation", Proc. 18th Int. Coll. on Automata, Languages and Programming, ed. J.L. Albert, B. Monien, M.R. Artalejo, Springer-Verlag, Berlin, 1991, pp. 600-614.
Culik II, K.; Dube, S.: "New Methods for Image Generation and Compression", Proc. Conf. on New Results and New Trends in Computer Science, ed. H. Maurer, Springer-Verlag, Berlin, 1991, pp. 69-90.
Culik, K., II; Dube, S.: "L-systems and mutually recursive function systems", Acta Informatica, 30:3, pp. 279-302, 1993.
Demko, S.; Hodges, L.; Naylor, B.: "Construction of Fractal Objects with Iterated Function Systems". Computer Graphics, Vol. 19:3. pp. 271-278, 1985.
Ditto, W.; Munakata, T.: "Principles and Applications of Chaotic Systems", Comm. ACM, 38:11, pp. 96-102, Nov. 1995.
Fisher, Y.: "Fractal Image Compression", Springer, Berlin, 1994. ISBN: 3-540-94211-4. BII.
Giessmann, E.G.: "Generation of fractal curves by generalizations of Lindenmayer's L-systems", Proc. 1st IFIP Conf. on Fractals in the Fundamental and Applied Sciences, ed. H.O. Peitgen, J.M. Henriques, L.F. Penedo, North Holland, Amsterdam, 1991, pp.147-157.
Hart, J.C.: "The object instancing paradigm for linear fractal modeling", Proceedings Graphics Interface '92 Toronto, Ont., Canada: Canadian Inf. Process Soc, 1992. pp. 224-31.
Herman, G.T.; Rozenberg, G.: "Developmental Systems and Languages", North Holland, Amsterdam, 1975. CC.
Kaandorp, J.: "Fractal Modeling. Growth and Form in Biology", Springer, Berlin, 1994. ISBN: 3-540-56685-6. BII.
Lindenmayer, A.; Rozenberg, G., ed.: "Automata, Languages, Development", North-Holland, Amsterdam, 1976. CC.
Lindenmayer, A.; Prusinkiewicz, P.: "Developmental models of multicellular organisms: A computer graphics prerspective", in "Artificial Life: Proceedings of an Interdisciplinary Workshop on the Synthesis and Simulation of Living Systems", edited by C. Langton, Addison-Wesley, Redwook City, 1989, pp. 221-249.
Lindenmayer, A.: "Models for multicellular development: Characterization, inference and complexity of L-systems", in "Trends, techniques and problems in theoretical computer science, Lecture Notes in Computer Science" vol. 281, edited by Kelmenová, A.; Kelmen, J., pp. 138-168, Springer-Verlag, Berlin, 1987.
Mandelbrot, B.B.: "The Fractal Geometry of Nature", W.H.Freeman, San Francisco, 1982.
Meinhardt, H.: "The Algorithmic Beauty of Sea Shells", Springer, Berlin, 1995. ISBN: 3-540-57842-0. BII.
Miyata, K.: "Introduction to 3-D computer graphics-introduction to fractals", Journal of the Institute of Television Engineers of Japan, 1992, 46:6, pp. 733-40.
Musgrave, F.K.: "Fractal art landscapes", Interactions, III.6, 11-1996. BII.
Prusinkiewicz, P.: "Graphical Applications of L-Systems", Proc. Graphics Interface 86 and Vision Interface 86, ed: M. Wein, E.M. Kidd, Vancouver, Canada, 1986, pp. 247-253.
Prusinkiewicz, P.: "Score generation with L-systems", in Proceedings of the International Computer Music Conference '86, pp. 455-457, 1986.
Prusinkiewicz, P.: "Applications of L-systems to computer imagery", in "Graph grammars and their application to computer science; Third International Workshop, Lecture Noptes in Computer Science", vol. 291?, edited by Nagl, Ehrig. M.; Rosenfeld, A.; Rozenberg, G., pp 534-548. Springer-Verlag, Berlin, 1987.
Prusinkiewicz, P.; Lindenmayer, A.; Hanan, J.: "Developmental models of herbaceous plants for computer imagery purposes", Proceedings of SIGGRAPH '88, in computer Graphics (ACM SIGGRAPH) 22:4, pp. 141-150, 1988.
Prusinkiewicz, P.; Sandness, G.: "Koch curves as attractors and repellers", IEEE Computer Graphics and Applications, 8:6 pp. 26-40, 1988.
Prusinkiewicz, P.; Krithivasan, K.; Vijayanarayana, M.G.: "Application of L-systems to algorithmic generation of South Indian folk art patterns and karnatic music", in "A perspective in theoretical computer science - commemorative volume for Gift Siromoney, Series in Computer Science", vol 16. edited by R. Narasimhan, pp. 229-247, World Scientific, Singapore, 1989.
Prusinkiewicz, P.; Hanan, J.: "Lindenmayer systems, fractals, and plants", Lecture Notes in Biomathematics. vol 79, Springer-Verlag, Berlin, 1989.
Prusinkiewicz, P.; Lindenmayer, A.; Fracchia, F.D.: "Synthesis of space-filling curves on the square grid", Fractals in the Fundamental and Applied Sciences, Proceedings of the First IFIP Conference, edited by Peitgen, H.-O.; Henriques, J.M.; Penedo, L.F. pp. 341-66, North-Holland, Amsterdam, 1991.
Smith, A.R.: "Plants, fractals, and formal languages", Proceedings of SIGGRAPH'84, in Computer Graphics (ACM SIGGRAPH) 18:3, pp. 1-10, 1984.
Smith, H.F.: "A garden of fractals", Fractals in the Fundamental and Applied Sciences. Proceedings of the First IFIP Conference, Edited by Peitgen, H.-O.; Henriques, J.M.; Penedo, L.F., North-Holland, Amsterdam, 1991, pp. 407-24.
Stevens, R.T.: "Advanced Graphics Programming in C and C++", Prentice Hall, Englewood Cliffs, 1991.
Stevens, R.T.: "Fractal Programming and Ray Tracing with C++", Prentice Hall, Englewood Cliffs, 1991.
Valdes, R.: "What is BioComputing?", Dr. Dobb's Journal, 1991, 16:4, pp. 108-9.

APL

"Statistical Computing with APL", chapter 7-final. Cajas APL.
"APL2 for IBM Personal Computer", IBM Corp., Program number 5799-PGG, PRPQ RJB411, Part No. 6242036.
"APL2 Programming: Language Reference", No. SH20-9227, IBM Corporation, White Plains, New York, 1987.
Bard, Y.: "Rule-based inferencing functions for APL applications", IBM Cambidge Sc. Ctr. Report G320-2154, 1986. Cajas APL.
Berry, P.C.; Falkoff, A.D.; Iverson, K.E.: "Using the Computer to Compute: A Direct but Neglected Approach to Teaching Mathematics", IBM New York Sc. Ctr. Report 320-2988, 1970. Cajas APL.
Berry, P.C.; Bartoli, G.; Dell'Aquila, C.; Spadavecchia, V.: "APL and Insight: The Use of Programs to Represent Concepts in Teaching", IB; Philadelphia Sc. Ctr. Report 320-3020, 1973. Cajas APL.
Brenner, N.: "Optimization of APL Programs", separata. Cajas APL.
Brown, J.: "A Development of APL2 Syntax", IBM. J. Res. Dev., 29:1, Jan. 1985. Cajas APL.
Ching, W.: "Program Analysis and Code Generation in an APL/370 Compiler". IBM Journal of Research and Development, 30:6, pp. 594-602, 1986. Copia en cajas APL.
Ching, W.: "Type-shape Inference in an APL Compiler Using Constraint Programming", IBM Research Report RC 13979, 1988.
Ching, W.: "An Empirical Study of the Performance of the APL/370 Compiler", IBM Research Report RC 13980, 1988.
Ching, W.: "A Primitive-Based Strategy for Producing Efficient Code for Very High Level Programs", IBM Research Report RC 17635, 1991.
Creveling, C.J.: "Experimental Use of A Programming Language (APL) at the Goddard Space Center", Goddard Space Flight Center, 1968. Cajas APL.
Driscoll, G.C.; Orth, D.L.: "Collecting Information about APL Variables during Interpretation", IBM Res. Report RC 15366, 1990.
Falkoff, A.D.; Iverson, K.E.: "The Use of Computers in Teaching Mathematics", IBM New York Sc. Ctr. Report 320-2986, 1970. Cajas APL.
Falkoff, A.D.; Iverson, K.E.: "The Design of APL", IBM. J. Res. Dev., 17:4, Jul. 1973. Cajas APL.
Falkoff, A.D.: "Picture Format". Cajas APL.
Falkoff, A.D.: "Semicolon Bracket Notation: A Hidden Resource in APL", IBM Res. Report RC 9360, 1982.
Falkoff, A.D.: "The APL Character Set: Dual Keyboards are better", IBM Res. Report RC 15364, 1989.
Finnish APL Association: "FINNAPL Idiom Library", 1982. Cajas APL.
Ghandour, Z.; Mezei, J.: "General Arrays, Operators and Functions", IBM J. Res. Dev., Jul. 1973. Cajas APL.
Hagamen, W.D.; Linden, D.J.; Long, H.S.; Weber, J.C.: "Encoding verbal information as unique numbers", IBM Syst. J., 11:4, 1972. Cajas APL.
Halpern, M.M.: "Studies in APL: Algebra, Scan, Arithmetic, Permutations", IBM Philadelphia Sc. Ctr. Report 320-3023, 1973. Cajas APL.
Hassitt, A.; Lyon, L.E.: "Efficient Evaluation of Array Subscripts of Arrays", IBM J. Res. Dev. 16:1, Jan. 1972. Cajas APL.
Hassitt, A.; Lageschulte, J.W.; Lyon, L.E.: "Implementation of a High Level Language Machine", Comm. ACM, 16:4, Apr. 1973. Cajas APL.
Hendriks, F.; Ching, W.M.: "Sparse Matrix Technology in APL", IBM Res. Report RC 15302, 1989.
Iverson, K.E.: "The Story of APL", IBM Computing Report in Science and Engineering, 6:2, Apr. 1970. Cajas APL.
Iverson, K.E.: "APL in Exposition", IBM Philadelphia Res. Ctr. Report 320-3010, 1972. Cajas APL.
Iverson, K.E.: "An Introduction to APL for Scientists and Engineers", IBM Philadelphia Res. Ctr. Report 320-3019, 1973. Cajas APL.
Iverson, K.E.: "Operators and Functions", IBM Res. Report RC 7091, 1978. .
Iverson, K.E.: "APL as an Analytic Notation", APL V Conference, Toronto, May 1973. Cajas APL.
Jenkins, M.A.: "The Solution of Linear Systems of Equations and Linear Least Squares Problems in APL", IBM New York Sc. Ctr. Report 320-2989, 1970. Cajas APL.
Kogon, R.; Lattermann, D.: "APL Complementary Functions", IBM Heidelberg Res. Ctr. Report CR 76.04.001, 1976. Cajas APL.
Lathwell, R.H.; Mezei, J.E.: "A Formal Description of APL". Cajas APL. .
Lathwell, R.H.: "System Formulation and APL Shared Variables", IBM J. Res. Dev., 17:4, Jul. 1973. Cajas APL.
Liknaitzky, R.: "APL Functions for Use in Junior High School Mathematics", CAI 3-69, Nov. 1969. Cajas APL.
McCracken, D.D.: "Wither APL?", Datamation, Sep. 15, 1970. Cajas APL.
Martinville, B.de; Pages, J.C.: "APL Processing of Genealogical Trees in Medical Genetics", Medical Data Processing. Cajas APL.
Myers, H.J.: "A Fast Assembly Technique Using APL", IBM Palo ALto Sc. Ctr. Report ZZ20-6431, 1976. Cajas APL.
Myers, H.J.: "Compiling Optimized Code from Decision Tables", IBM J. Res. Dev., 16:5, Sep. 1972. Cajas APL.
More, T.: "Axioms and Theorems for a Theory of Arrays", IBM J. Res. Dev., 17:2, Mar. 1973. Cajas APL.
More, T.: "Notes on the Development of a Theory of Arrays", IBM Philadelphia Sc. Ctr. Report 320-3016, 1973. Cajas APL.
More, T.: "Notes on the Axioms for a Theory of Arrays", IBM Philadelphia Sc. Ctr. Report 320-3017, 1973. Cajas APL.
Trimble, R.: "Storage Management in IBM APL Systems", 1991?.

C y C++

"Turbo C++", Borland International Scotts Valley, CA, 1990.
Barton, J.J.; Nackman, L.R.: "Scientific and Engineering C++: What's That Template Argument About?", IBM Research RC 19457, 1994.
Barton, J.J.; Nackman, L.R.: "Scientific and Engineering C++: Is Const Worth a Thousand Words?", IBM Research RC 19569, 1994.
Barton, J.J.; Nackman, L.R.: "Injected Function Declarations in C++", IBM Research RC 19611, 1994.
Barton, J.J.; Nackman, L.R.: "Scientific and Engineering C++: Making Concrete Virtual with Templates", IBM Research RC 19659, 1994.
Dewhurst, S.; Stark, K.: "Programming in C++", Prentice Hall, Inc., Englewood Cliffs, NJ, 1989.
Dorfman, L.: "C++ by example", McGraw Hill, New York, 1995.
Faison, T.: "Borland C++ 3.1. Programación Orientada a Objetos", Prentice Hall, Mexico, 1992. ISBN: 968-880-352-9. BII.
Gamma, E.; Helm, R.; Johnson, R.: "A catalog of object-oriented design patterns", Draft paper, 1993.
Hekmatpour, S.: "C++: A Guide for Programmers", Prentice Hall, Inc., Englewood Cliffs, NJ, 1991.
Kernighan, B. W., Ritchie, D. M.: "El lenguaje de programación C", Prentice Hall Hispanoamericana, S.A., Mexico-Englewood Cliffs, NJ, 1985. HIT.
Ladd, S.R.: "C++ Techniques and Applications", Prentice Hall, Englewood Cliffs, 1990. ISBN: 1-55851-075-3. LAB2000.
Ladd, S.R.: "Turbo C++ Techniques and Applications", Prentice Hall, Englewood Cliffs, 1991.
Lane, A.: "Turbo C++ by Example", Prentice Hall, Englewood Cliffs, 1991.
Sessions, R.: "Reusable Data Structures for C", Prentice Halls, Englewood Cliffs, 1989. ISBN: 0-13-779034-1.
Sessions, R.: "Class Construction in C and C++", Prentice Halls, Englewood Cliffs, 1992. ISBN: 0-13-630104-5.
Shapiro, J.: "C++ Toolkit", Prentice Hall, Englewood Cliffs, NJ, 1991.
Stroustrup, B.: "The C++ Programming Language", Addison-Wesley, Reading, MA, 1986. 2ª ed. 1991-95, ISBN: 0-201-53992-6. HIT.

Java

Arnold, K.; Gosling, J.: "El lenguaje de programación Java" ("The Java Programming Language"), Addison-Wesley, España, 1997. ISBN: 84-7829-010-9 (0-201-65314-1).
Campione, M.; Walrath, K. The Java Tutorial: Object-Oriented Programming for the Internet. Addison-Wesley, 1996. Versión on-line en: http://java.sun.com/books/Series/Tutorial. BII.

Smalltalk

"Smalltalk/V PM. Tutorial and Programming Handbook", Digitalk, Los Angeles, 1989. LAB2000.
"Smalltalk on the Rise", Comm. ACM, 38:10, pp. 102-118, Oct. 1995. 6 artículos.
Hopkins, T.: "A First Course in Smalltalk 80", Prentice Hall, Inc., Englewood Cliffs, NJ, 1991.
Lalonde, W.; Pugh, J.: "Inside Smalltalk", 2 vols, Prentice Hall, Englewood Cliffs, 1990-1991.
Pinson, L. J.; Wiener, R. S.: "An Introduction to Object-Oriented Programming and Smalltalk", Addison-Wesley, Reading, MA, 1988.
Savic, D.: "Object-Oriented Programming with Smalltalk-V", Prentice Hall, Englewood Cliffs, 1990.
Shafer, D.; Herndon, S.: "IBM Smalltalk Programming for Windows and OS/2", Prima Publishing, Rocklin, 1995. ISBN: 1-55958-749-0.

Lenguajes y sistemas de Proceso Paralelo

"Synchronization: Using Networked Workstations for Shared-Memory Parallel Processing". Computer, 2:96. 4 artículos. BII.
"Parallel and Distributed Processing Tools", Computer, Nov. 95. 5 artículos.
"Shared Memory Multiprocessing", Computer, 29:12, 12-96. 7 artículos. BII.
Blelloch, G.E.: "Programming Parallel Algorithms", Comm. ACM, 39:3, pp. 85-97, Mar. 1996. BII.
Wang, C.C.; Li, H.: "The W Language", IBM Research RC 13438, 1988.

Lenguajes varios

Cezzar, R.: "A Guide to Programming Languages, Overview and Comparison", Artech House, Boston, 1995. BII, 681.31.06 CEZ.
Clocksin, W.F.; Mellish, C.S.: "Programming in Prolog", Springer, Berlin, 1981. CC.
Elson, M.: "Concepts of Programming Languages", Science Research Associates, Chicago, 1973. CC.
Gehrke, W.: "FORTRAN 90 Language Guide", Springer, Berlin, 1995. BII, 681.31.06 GEH.
Horowitz, E.: "Programming Languages", Springer, Berlin, 1983. CC.
Lano, K.: "The B Language and Method: A Guide to Pratical Formal Development", (Formal Approaches to Computing and Information Technology (FACIT). Ed.: S.A. Schuman). 1996. 232 pp. 34 figs. 2 tabs. Softcover DM 78,-; ISBN 3-540-76033-4
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.
Lomet, D.B.: "Making Pointers Safe in System Programming Languages", IBM Research RC 10030, 1983.
Sanderson, P.C.: "Computer Languages", Newnes-Butterworths, London, 1970. CC.
Steele Jr., G.L.: "COMMON LISP, the Language", Digital Press, 1984. CC.
Walker, A.: "SYLLOG: An Approach to PROLOG for Non-Programmers", IBM Research RJ 3950, 1983.
Wirth, N.: "Programming in MODULA-2", Springer, Berlin, 1983. CC.

Lenguajes naturales.

"Interactive Natural Language Processing", Computer, 29:7, 7-96. 6 artículos. BII.
Church, K.W.; Rau, L.F.: "Commercial Applications of Natural Language Processing", Comm. ACM, 38:11, pp. 71-79, Nov. 1995.
Cowie, J.; Lehner, W.: "Information Extraction", Comm. ACM, 39:1, pp. 80-91, Jan. 1996. BII.
Culy, C.: "The Complexity of the Vocabulary of Bambara", Linguistics and Philosophy 8:345-351, 1985.
Gazdar, G.: "Applicability of Indexed Grammars to Natural Languages", en "Natural Language Parsing and Linguistic Theories", ed. U. Reyle, C. Rohrer, Reidel Publishing Company, 1988.
Guthrie, L.; Pustejovsky, J.; Wilks, Y.; Slator, B.M.: "The Role of Lexicons in Natural Language Processing", Comm. ACM, 39:1, pp. 63-72, Jan. 1996. BII.
Hopcroft, J.E.; Ullman, J.D.: "Introduction to Automata Theory, Languages and Computation", Addison-Wesley, Reading, MA, 1979.
Hovy, E.: "Humanizing the Computer: Interacting using Natural Language", fotocopia.
Huybregts, Riny: "The weak Inadequacy of Context-Free Phone Structure Grammars", en "Van Periferie naar Kern", ed. G. de Haan, M. Trommelen, W. Zonneveld, Foris, Dordrecht, 1984.
King, M.: "Evaluating Natural Language Processing Systems", Comm. ACM, 39:1, pp. 73-79, Jan. 1996. BII.
Lewis, D.D.; Jones, K.S.: "Natural Language Processing for Information Retrieval", Comm. ACM, 39:1, pp. 92-101, Jan. 1996. BII.
Miller, G.A.: "A Lexical Database in English", Comm. ACM, 38:11, pp. 39-41, Nov. 1995.
Shieber, Stuart M.: "Evidence against the Context-Freeness of Natural Language", Linguistics and Philosophy 8:333-343, 1985.
Wiebe, J.; Hirst, G.; Horton, D.: "Language Use in Context", Comm. ACM, 39:1, pp. 102-111, Jan. 1996. BII.
Yokoi, T.: "The EDR Electronic Dictionary", Comm. ACM, 38:11, pp. 42-44, Nov. 1995.

Traducción, Compilación y Formalización de Lenguajes

Aho, J.E. et al.: "Data structures and algorithms", Addison-Wesley, Reading, MA, 1983.
Aho, A.V.; Hopcroft, J.E.; Ullman, J.D.: "The Design and Analysis of Computer Algorithms", Addison-Wesley, Reading, MA, 1974.
Aho, A.V.; Hopcroft, J.E.; Ullman, J.D.: "Data Structures and Algorithms", Addison-Wesley, Reading, MA, 1982.
Aho, A.V.; Sethi, R.; Ullman, J.D.: "Compilers: Principles, Techniques and Tools", Addison-Wesley, Reading, MA, 1986.
Aho, A.V.; Ullman, J.D.: "The Theory of Parsing, Translation and Compiling", 2 vols. Prentice-Hall, Englewood Cliffs, 1972.
Aho, J.E.; Ullman, J.D.: "Principles of Compiler Design", Prentice-Hall, Englewood Cliffs, New Jersey, 1977.
Alfonseca, M.; Sancho, J.; Martínez Orga, M.A.: "Teoría de Lenguajes, Gramáticas y Autómatas". Universidad y Cultura, Madrid, 1987.
Appel, A.W.: "Modern Compiler Implementation in C", Cambridge Univ. Press, Cambridge, U.K., 1997. HIT.
Arbab, Bijan: "Compiling Circular Attribute Grammars into Prolog", Los Angeles IBM Scientific Center Report G320-2776, 1986.
Bandat, K.; "On the Formal Definition of PL/I", IBM Laboratory Vienna TR 25.073, 1967.
Ching, W.: "Program Analysis and Code Generation in an APL/370 Compiler". IBM Journal of Research and Development, 30:6, pp. 594-602, 1986.
Chomsky, N.: "Formal properties of grammars", Handbook of Math. Psych., Vol. 2, 323-418, John Wiley and Sons, New York, 1963.
Chomsky, N.; Schutzenberger, M.P.: "The algebraic theory of context-free languages", Computer Programming and Formal Systems, 118-161, North Holland, Amsterdam, 1963.
Fischer, Charles N.; LeBlanc Jr., Richard J.: "Crafting a compiler", The Benjamin/Cummings Publishing Co., Menlo Park, 1988. HIT.
Fischer, Charles N.; LeBlanc Jr., Richard J.: "Crafting a compiler with C", The Benjamin/Cummings Publishing Co., Redwood City, 1991. BII.
Goldberg, R.; Oden, P.: "Data Types and Data Type Extensions in Programming Languages", IBM Research RC 4651, 1973.
Gordon, M.J.C.: "The Denotational Description of Programming Languages", Springer-Verlag, New York, 1979.
Gries, D.: "Compiler Construction for Digital Computers", John Wiley and Sons, New York, 1971.
Harrison, W.H.: "The Production of Canonical Forms for Data Type Representations", IBM Research RC 4420, 1973.
Holub, Allen: "Compiler Design in C", Prentice Hall, 1990. ISBN 0-13-155045-4.
Hopcroft, J.E.; Ullman, J.D.: "Introduction to Automata Theory, Languages and Computation", Addison-Wesley, Reading, MA, 1979.
Knuth, D.E.: "The Art of Computer Programming. Vol. 1: Fundamental Algorithms". Addison-Wesley, Reading, MA, 1968.
Ko-Yang W.: "Array Reshaping - A Mechanism for Optimizing Array Storage for Parallel Computers", IBM Research RC 18583, 1994.
Lewis, C.H.; Rosen, B.K.: "Recursively Defined Data Types, Part I", IBM Research RC 4429, 1973.
Lewis, P.M.II; Rosenkrantz, D.J.; Stearns, R.E.: "Compiler Design Theory". Addison-Wesley, Reading, MA, 1976.
Marcotty, M.; Ledgard, H.F.; Bochmann, G.V.: "A Sampler of Formal Definitions", Computing Surveys, 8:2, pp. 191-276, June 1976.
More, T.: "Axioms and Theorems for a Theory of Arrays", IBM Journal of Research and Development, 17:2, pp. 135-175, 1973.
Schreiner, A.T.; Friedman, H.J.: "Introduction to Compiler Construction in UNIX", 1986.
Trimble, R.: "Storage Management in IBM APL Systems", 1991?.
Watt, S.M.; Broadbery, P.A.; Dooley, S.S.; Iglio, P.: "A First Report on the A# Compiler (including benchmarks)", IBM Research RC 19529, 1994.
Watt, S.M.; "A# Language Reference", IBM Research RC 19530, 1994.

Inteligencia Artificial

Bhaskar, R.; Haas, N.: "Selecting Explanations Using Multiple Sources of Knowledge", IBM Research RC 13562, 1988.
Bhaskar, R.; Haas, N.: "Learning Using Classroom Knowledge", IBM Research RC 14780, 1989.
Buxton, B.; Cipolla, R.: "Computer Vision - ECCV '96", Fourth European Conference on Computer Vision, Cambridge, UK, April 14-18, 1996. 2 vols. Lecture Notes in Computer Science, Vol. 1064. 1996. XXI, 725/723 pp. Softcover DM 134 each, ISBN 3-540-61122-3 y ISBN 3-540-61123-1.
The European Conference on Computer Vision (ECCV) has established itself as a major event in this exciting and very active field of research and development. These refereed two-volume proceedings include the 123 papers accepted for presentation at the 4th ECCV, held in Cambridge, UK, in April 1996; these papers were selected from a total of 328 submissions and together give a well-balanced reflection of the state of the art in computer vision. The papers in Volume I are grouped in sections on structure from motion; recognition; geometry and stereo; texture and features; tracking; grouping and segmentation; stereo; and recognition, matching, and segmentation. The papers in Volume II are grouped in sections on color vision and shading; image features; motion; medical applications; trakking; applications and recognition; calibration, focus, and optics; applications; and structure from motion.
Feigenbaum, E.A.: "Turing Award Lecture", Comm. ACM, 39:5, May. 1996. BII.
Harmon, P.: "Object-Oriented AI: A Commercial Perspective", Comm. ACM, 38:11, pp. 80-87, Nov. 1995.
Jeffrey, J.; Lobo, J.; Murata, T.: "A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic", IEEE Knowledge & Data Eng., 8:2, 1996. BII.
Kasturi, R.; Tombre, K. (Eds.): "Graphics Recognition. Methods and Applications", First International Workshop, University Park, PA, USA, August (10-11), 1995. Lecture Notes in Computer Science, Vol. 1072. 1996. X, 308 pp. Softcover DM 70, ISBN 3-540-61226-2.
The 23 full papers included are divided into sections on low-level processing, vectorization and segmentation of scanned graphics documents; symbol and diagram recognition, map processing, interpretation of engineering drawings. Each section contains both survey articles to assess the state of the art, and research papers presenting novel results. One section is devoted to a contest held to determine the best algorithm for detection of dashed lines in drawings. The final chapter summarizes the conclusions and recommendations of the discussions held during the workshop.
Konar, A.; Mandal, A.K.: "Uncertainty Management in Expert Systems Using Fuzzi Petri Nets", IEEE Knowledge & Data Eng., 8:1, 2-96. BII.
Langley, P.; Simon, H.A.: "Applications of Machine Learning and Rule Induction", Comm. ACM, 38:11, pp. 54-64, Nov. 1995.
Pawlak, Z.; Grzymala-Busse, J.; Slowinski, R.; Ziarko, W.: "Rough Sets", Comm. ACM, 38:11, pp. 88-95, Nov. 1995.
Reddi, R.: "Turing Award Lecture", Comm. ACM, 39:5, 1996. BII.
Reddi, R.: "The Challenge of Artificial Intelligence". Computer, 29:10, pp. 86-98. 10-96. BII.

Representación y adquisición del conocimiento

Lenat, D.B.: "CYC: A Large-Scale Investment in Knowledge Infrastructure", Comm. ACM, 38:11, pp. 32-38, Nov. 1995.

Mecanización de la Lógica, las Matemáticas y Teoría de Restricciones

Belfer, A.: "A Combinatorial Approach to Temporal Reasoning", IBM Research RC 15746, 1990.
Bratko, I.; Muggleton, S.: "Applications of Inductive Logic Programming", Comm. ACM, 38:11, pp. 65-70, Nov. 1995.
Chaitin, G.J.: "Algorithmic Information and Evolution", IBM Research RC 15240, 1989.
Chudnovsky, D.V.; Chudnovsky, G.V.: "Computational and Arithmetic Nature of Classical Constants", IBM Research RC 14950, 1989.
Console, L.; Portinale, L.; Dupré, D.T.: "Using Compiled Knowledge to Guide and Focus Abductive Diagnosis", IEEE Knowledge & Data Eng., 8:5, 10-96. BII.
Corella, F.: "An Approach to the Mechanization of Set Theory", IBM Research RC 14062, 1988.
Goguen Jr., J.A.: "Axioms, Extensions and Applications for Fuzzy Sets: Languages and the Representation of Concepts", IBM Research RJ 4136, 1973. .
Halpern, J.Y.; Rabin, M.O.: "A Logic to Reason about Likelihood", IBM Research RJ 4136, 1983.
Helm, A.R.: "Detecting and Eliminating Redundant Derivations in Logic Programming Systems", IBM Research RC 14243, 1988.
Kesim, F.N.; Sergot, M.: "A Logic Programming Framework for Modeling Temporal Objects", IEEE Knowledge & Data Eng., 8:5, 10-96. BII.
Lucas, P.; Risch, T.: "Representation of Factual Information by Equations and their Evaluation", IBM Research RJ 3362, 1982.
Miglioli, P.; Moscato, U.; Mundici, D.; Ornaghi M. (Eds.): "Theorem Proving with Analytic Tableaux and Related Methods" 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15-17, 1996. Lecture Notes in Artificial Intelligence, Vol. 1071. 1996. X, 330 pp. Softcover DM 70, ISBN 3-540-61208-4.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.
Revesz, G.: "On Translating Ordinary Mathematical Notation", IBM Research RC 15281, 1989.
Risch, T.: "An Interpreter for Functional Rules", IBM Research RJ 3360, 1982.
Sheridan, P.B.; Haridi, S.; Sahlin, D.: "Equalog: An Experimental Prolog-Based Equation Solver", IBM Research RC 13434, 1988.
Sheridan, P.B.; Haridi, S.; Sahlin, D.: "Equalog: An Experimental Prolog-Based Equation Solver", IBM Research RC 13464, 1988.

Vida y evolución artificiales

"Neural Networks", Computer, 29:3, 3-96. 6 artículos. BII.
Alliot, J.M.; Lutton, E.; Ronald, E.; Schoenauer, M.; Snyers, D. (Eds.): "Artificial Evolution", European Conference, AE '95, Brest, France, September 4-6, 1995. Selected Papers. Lecture Notes in Computer Science, Vol. 1063. 1996. XIII, 396 pp. Softcover DM 86, ISBN 3-540-61108-8.
This volume presents a collection of revised refereed papers selected from the contributions presented at the European Conference on Artificial Evolution; also included are a few papers from the predecessor conference, AE '94. Besides two invited surveys on evolution strategies and evolutionary programming, 24 full papers are presented. They are grouped into sections on evolutionary computation theory, genetic algorithm techniques, coevolution, neural networks, image processing, and applications to various optimization and other problems.
Maes, P.: "Artificial Life Meets Entertainment: Lifelike Autonomous Agents", Comm. ACM, 38:11, pp. 108-114. Nov. 1995.
Nadas, A.: "Probabilistic Hidden Perceptrons, Artificial Neural Nets and their Training by an EM Algorithm", IBM Research RC 16603, 1991.
Palmer, C.C.; Hershenbaum, A.: "Representing Trees in Genetic Algorithms", IBM Research RC 19718, 1994.
Sims, K.: "Evolving Virtual Creatures", Computer Graphics (SIGGRAPH '94 Proc.), July 1994, pp. 15-22.
Sims, K.: "Evolving 3D Morphology and Behavior by Competition", Artificial Life IV Proc., ed. R. Brooks & P. Maes, MIT Press, 1994, pp. 28-39.
Srinivas, M.; Patnaik, L.M.: "Genetic Search: Analysis Using Fitness Moments", IEEE Knowledge & Data Eng., 8:1, 2-96. BII.

Agentes

"Intelligent Agents", Comm. ACM, 37:7. Jul. 1994.
Atkins, D.E. et al.: "Toward Inquiry-Based Education Through Interacting Software Agents", Computer, 29:5, 5-96. BII.
Chen, H.; Houston, A.; Nunamaker, J.; Yen, J.: "Toward Intelligent Meeting Agents", Computer, pp. 40-46, 29:8, 8-96. BII.
Maes, P.: "Artificial Life Meets Entertainment: Lifelike Autonomous Agents", Comm. ACM, 38:11, pp. 108-114. Nov. 1995.
Perram, J.; Müller, J.P. (Eds.): "Applications of Multi-Agent Systems" 6th European Workshop on Modeling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 1994. Lecture Notes in Artificial Intelligence, Vol. 1069. 1996. VIII, 219 pp. Softcover DM 54, ISBN 3-540-61157-6.
The 15 revised full papers included in the book were carefully selected from the workshop contributions; they address various current aspects of multi-agent systems, with a certain focus on applicational aspects. In addition, there is an invited paper "Agents: towards a society in which humans and computers cohabitate" by Mario Tokoro.

Interfaces de usuario

Alben, L.: "Quality of Experience: Defining the Criteria for Effective Interaction Design", III.3, 5-1996. BII.
Balaguer, J.F.; Gobbetti, E.: "3D User Interfaces for General-Purpose 3D Animation", Computer, pp. 40-46, 29:8, 8-96. BII.
Butler, K.A.: "Usability Engineering Turns 10", Interactions, III.1, 1-1996. BII.
Carroll, J.M.; Rosson, M.B.: "Deliberated Evolution: Stalking the View Matcher in Design Space", IBM Research RC 16646, 1990.
Collins, D.: "What is an object-oriented user interface?", Draft paper, 1990.
Gentner, D.R.; Grudin, J.: "Design Models for Computer-Human Interfaces", Computer, 29:6, 6-96. BII.
Greenberg, S.: "Teaching Human Computer Interaction to Programmers" Interactions, III.4, 7-1996. BII.
Känel, J. von: "Cut and Paste of Complex Interrelated Objects", IBM Research RZ 2126, 1991.
Lowgren, J.; Nordquist, T.: "Knowledge-based Evaluation as Design Support for Graphical User Interfaces", CHI'92, 1992.
Mead, P.; Pacione, C.: "Time and Space", Interactions, III.2, 3-1996. BII.
Milligan, C.; Murdock, M.: "Testing with Kids and Teens at Iomega", Interactions, III.5, 9-1996. BII.
Raskin, J.: "Wanted for crimes against the interface", Interactions, III.6, 11-1996. BII.
Rudd, J.; Stern, A.; Isensee, S.: "Low vs. High-Fidelity Prototyping Debate", Interactions, III.1, 1-1996. BII.
Saiz, F.; Contreras, J.; Moriyón, R.: "KIIS: A System for Interactive Modification of Model-Based Interfaces", fotocopia.
Warburton, R.: "User-Driven Design. A Method for Designing Object-Orientated User Interfaces", IBM Application Development Solutions Centre, 1993.

Multimedia, Gráficos, etc.

"Coded Representation of Multimedia and Hypermedia Information", MHEG (Multimedia and Hypermedia information coding Expert Group) Working Document S, Verison 2, Jul. 1990.
"Hypertext: theory into practice", ed. Ray McAleese, Blackwell Scientific Publications, Oxford, 1989.
"OpenDoc: Shaping Tomorrow's Software", White Paper, Apple Computer, 1993.
"Special Section on Virtual Reality", Comm. ACM, 39:5, May. 1996. 5 artículos. BII.
Faison, B. Smith: "From Traditional to Computer-Based Tools: Graphic Design Educators and Practitioners in Transition", Interactions, III.1, 1-1996. BII.
Huang, K.T.; Fan, T.J.; Machlin, R.; Wang, C.; Chang, I.: "Medical Application Hypermedia Authoring System", IBM Research RC-14553, 1989.
Kahn, K.: "Drawings on Napkins, Video-Game Animation, and Other Ways to Program Computers", Comm. ACM, 39:8, pp. 49-59, Ago. 1996. BII.
Lavin, M.; Flickner, M.: "An Object-Oriented Language for Image and Vision Execution (OLIVE)", IBM Research RC-14242, 1988.
Lieberman, H.: "Intelligent graphics", Comm. ACM, 39:8, pp. 38-48, Ago. 1996. BII.
Morad, M.: "A Multimedia Information Exchange System", IBM Research RC 16684, 1991.
OpenDoc Design Team: "OpenDoc Technical Summary", version 1.0, Apple Computer, 1993.
Palermo, F.; Weller, D.: "Picture Building System", IBM Research RJ 2436, 1979.
Wactlar, H.D. et al.: "Intelligent Access to Digital Video: Informadia Project", Computer, 29:5, 5-96. BII.
Williams, R.: "A Picture Building System", IBM Research RJ 1560, 1975.

Simulación

Becker, H.A.: "Computer Simulation of Social Systems: an Overview", 4th Int. Congress of Cybernetics and Systems, Amsterdam, 1978.
Benham, R.D.; Taylor, G.R.: "Interactive Simulation Language for Hybrid Computers", Interactive Mini Systems, Inc., 1975.
Bingulac, S.P.; Stojic, M.: "Iterative Calculations via the Block-Oriented Simulation Languages", ?, 1978?.
Douglas, C.C.; George, D.A.; Henderson, M.E.: "Object Classes for Numerical Analysis", IBM Research RC 19480, 1994.
Friedman, G.J.; Leondes, C.T.: "Constraint Theory", 4 Parts. IEEE Trans. on Systems Science and Cybernetics, V. 5:1, Jan. 1969, pp. 48-56; V. 5:2, Abr. 1969, pp. 132-140; V. 5:3, Jul. 1969, pp. 191-199; V. 6:2, Abr. 1970, pp. 154-157.
Galligani, I.; Moltedo, L.: "An Interactive System for Modeling", 1976?. .
Gaskill, R.A.: "A Versatile Problem-Oriented Language for Engineers", IEEE Trans. on ELectronic Computers, Aug. 1964, pp. 415-420.
Gebarter, W.B.: "An Adaptive Model of Man for Use in Social Systems Simulation", Int. Congress of Cybernetics and Systems, Oxford, 1972.
Inoue, M.S.: "Markov Simulation by Iterative Process: A Pedagogic Tool in Man-Machine Symbiosis", ?, 1972? pp. 295-341.
Knepell, P.L.; Arangno, D.C.: "Simulation Validation", IEEE Computer Society Press, Los Alamitos, 1993. ISBN: 0-8186-3512-6. HIT.
Korn, G.: "Analog and Hybrid Computers in Engineering Education", Engineering Education, Apr. 1968, pp. 933-938.
Korn, G.: "Progress of Analog/Hybrid Computation", 5th International Analogue Computation Meetings, 1968?. Apr. 1968, pp. 933-938.
Naylor, T.H.; Balintfy, J.L.; Burdick, D.S.; Chu, K.: "Computer Simulation Techniques", John Wiley & Sons, Inc., New York, 1968. pp. 310-341.
Shannon, R.E.; Mayer, R.; Adelsberger, H.H.: "Expert Systems and Simulation", Simulation, 44:6, pp. 275-284, 1985.
Syn, W.M.; Dost, M.H.: "DSL/DP: A High-Level Language for the Simulation of Continuous Systems", IBM Scientific Computation Symposium, Burlington, Jun. 1975.
Urquhart, J.; Krall, R.L.; Li, C.C.: "Analysis of the Koritz-Hall Hypothesis for the Regulation of Steroidogenesis by ACTH", Endocrinology, 83:2, 1968, pp.390-394. Secretion", American Journal of Physiology, 214:1, Jan. 1968. pp. 73-85.
Urquhart, J.; Li, C.C.: "The Dynamics of Adrenocortical Secretion", American Journal of Physiology, 214:1, Jan. 1968. pp. 73-85.
Urquhart, J.; Li, C.C.: "Dynamic Testing and Modeling of Adrenocortical Secretory Function", Annals of the New York Academy of Sciences, vol. 156, pp.756-778, 1969.
Urquhart, J.: "Blood-borne Signals. The Measuring and Modelling of Humoral Communication and Control", The Physiologist, Feb. 1970.
Vichnevetsky, R.: "Simulation in Research and Development", American Management Association Bulletin, No. 125, 1969.

Enseñanza

"Learner-Centered Design", Comm. ACM, 39:4, 4-96. 10 artículos. BII.
"Using Computational Media to Facilitate Learning", Comm. ACM, 39:8, 8-96. 9 artículos. BII.
Kahn, K.: "Drawings on Napkins, Video-Game Animation, and Other Ways to Program Computers", Comm. ACM, 39:8, pp. 49-59, Ago. 1996. BII.
Atkins, D.E. et al.: "Toward Inquiry-Based Education Through Interacting Software Agents", Computer, 29:5, 5-96. BII.
Contreras, J.; Moriyón, R.: "Automatic Generation of Software Tutoring based on Tasks", fotocopia.
Contreras, J.; Saiz, F.: "A Framework for the Automatic Generation of Software Tutoring", fotocopia.
Frasson, C.; Gauthier, G.; Lesgold, A.: "Intelligent Tutoring Systems", Third International Conference, ITS'96, Montreal, Canada, June 12 - 14, 1996. Proceedings. (Lecture Notes in Computer Science. Vol. 1086).
This book presents the refereed proceedings of the Third International Conference on Intelligent Tutoring Systems, ITS '96, held in Montreal, Canada, in June 1996. The book contains 69 revised papers selected from a total of 128 submissions; also included are six invited papers from well-known speakers. All in all, the book reflects the state-of-the-art in the area. In particular the following topics are covered: advising systems, ITS architectures, cognitive models, design issues, empirical studies, formal models, learning environments, real-world applications, software tools for tutoring, student modelling, teaching and learning strategies, and multimedia and WWW.
Gal-Ezer, J.; Beeri, C.; Harel, D.; Yehudai, A.: "A High School Program in Computer Science", Computer, pp. 73-80. Oct. 95.
Resnick, M.; Martin, F.; Bruckman, A.: "Computational Construction Kits", interface", Interactions, III.5, 9-1996. BII.
Saddler, H.: "Seeing the Light Go On: The Apple Design Project", Interactions, III.3, 5-1996. BII.
Sánchez Beltrán, J.P.: "El programa educativo Science-By-Mail", Bit, n. 96, pp. 79-80, Ene. 1996.
Schneider, K.: "Children and Information Visualization Technologies", Interactions, III.5, 9-1996. BII.
Shneiderman, B.; Alavi, M.; Norman, K.; Borkowski, E.Y.: "Log On Education: Windows of Opportunity in Electronic Classrooms", Comm. ACM, 38:11, pp. 19-24, Nov. 1995.
Singley, M.K.; Carroll, J.M.; Alpert, S.R.; "Incidental Reification of Goals in an Intelligent Tutor for Smalltalk", IBM Research RC 18184, 1992. .
Smith, D.C.; Cypher, A.; Schmucker, K.: "Making Programming Easier for Children", Interactions, III.5, 9-1996. BII.
Soloway, E.; Pryor, A.: "Log on Education: The Next Generation in Human-Computer Interaction". Comm. ACM., 39:4, 4-96. BII.

Software en general

"Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA)", Software Engineering Notes, Special Issue. 1994.
"Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA)", Software Engineering Notes, 21:3, 1996.
"Proceedings of the Symposium on Software Reusability", Software Engineering Notes, Special Issue. Aug. 1995.
"Proceedings of the Symposium on Software Reusability", Software Engineering Notes, 22:3. May. 1997. BII.
"Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering", Software Engineering Notes, 21:6, Nov. 1996.
"Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering", Software Engineering Notes, 20:4, Oct. 1995.
"System Testing and Reliability", Computer, 29:11, 11-96. 7 artículos. BII.
Abramson, D.; Foster, I.; Michalakes, J.; Sisic, R.: "Relative Debugging: A New Methodology for Debugging Scientific Applications", Comm. ACM., 39:11, pp.69-77, Nov. 96. BII.
Boloix, G.; Robillard, P.N.: "A Software System Evaluation Framework", Computer, pp. 17-26, Dec. 95.
Carey, D.: "Is Software Quality Intrinsic, Subjective or Relational", ACM Software Engineering Notes, 21:1, pp.74-75, Jan. 1996.
Carroll, J.M.: "Making Use A Design Representation", IBM Research RC 19287, 1992.
Haag, S.; Raja, M.K.; Schkade, L.L.: "Quality Function Deployment Usage in Software Development", Comm. ACM, 39:1, pp. 41-49, Jan. 1996. BII.
Hansen, G.A.: "Simulating Software Development Processes", Computer, pp. 73-78, 29:1, 1-96. BII.
Harrison, W.H.; Ossher, H.; Sweeney, P.F.: "Coordinating Concurrent Development of Software", IBM Research RC 15514, 1990.
Kogut, P.: "Design Reuse: Chemical Engineering vs. Software Engineering", Software Engineering Notes, pp. 73-77, 20:5, Dec. 1995.
Maarek, Y.S.; Berry, D.M.; Kaiser, G.E.: "Automatically Generating Software Libraries without Pre-Encoded Lnowledge", IBM Research RC 14990, 1989.
Raccoon, L.B.S.: "The Chaos Strategy", Software Engineering Notes, pp. 40-47, 20:5, Dec. 1995.

OOT-OOP-OOA-OOD

"Advances in Object-Oriented Software Engineering", ed. B. Meyer, D. Mandrioli, Prentice Hall, Englewood Cliffs, NJ, 1991.
"ECOOP 89", Proceedings of the Third European Conference on Object-Oriented Programming, ed. S. Cook, Cambridge University Press, Cambridge, U.K., 1989.
"Object-Oriented Computing", 2 vols, ed. G. Peterson, IEEE order no. 821, 822, 1987.
"OOPSLA 86", Proceedings of the First A.C.M. Conference on Object-Oriented Programming Systems, Languages and Applications, A.C.M. Press, New York, NY, 1986.
"OOPSLA 87", Proceedings of the Second A.C.M. Conference on Object-Oriented Programming Systems, Languages and Applications, A.C.M. Press, New York, NY, 1987.
"OOPSLA 88", Proceedings of the Third A.C.M. Conference on Object-Oriented Programming Systems, Languages and Applications, A.C.M. Press, New York, NY, 1988.
"OOPSLA 89", Proceedings of the Fourth A.C.M. Conference on Object-Oriented Programming Systems, Languages and Applications, A.C.M. Press, New York, NY, 1989.
"OOPSLA 90", Proceedings of the Fifth A.C.M. Conference on Object-Oriented Programming Systems, Languages and Applications, A.C.M. Press, New York, NY, 1990.
"The OOTC bibliography for object-oriented technology", IBM Object-oriented Technology Center, 1993.
Alfonseca, M.; Alcalá, A.: "Programación Orientada a Objetos", Anaya Multimedia, Madrid, 1992.
Basili, V.R.; Briand, L.C.; Melo, W.L.: "How Reuse Influences Productivity in OO Systems", Comm. ACM, 39:10, pp. 104-116, Oct. 1996. BII.
Belisle, J.: "OMG Standards for Object-Oriented Programming", AIXpert, pp. 38-42, Aug. 1993.
Bic, L.F.; Fukuda, M.; Dillencourt, M. B.: "Distributed Computing using Autonomous Objects", Computer, pp. 40-46, 29:8, 8-96. BII.
Campo, M.; Price, R.T.: "Helping Framework Understanding through Introspection of Examples", fotocopia.
Cox, B.: "Object-Oriented Programming: an Evolutionary Approach", Addison-Wesley, Reading, MA, 1986. LAB2000.
Danforth, S.H.; Koenen, P.; Tate, B.: "Objects for OS/2", Van Nostrand Reinhold, New York, 1994.
Douglas, P.; Alliger, G.M.; Goldberg, R.: "Client-Server and Object-Oriented Training: Refining the Curriculum", Computer, 29:6, 6-96. BII.
El-Rewini, H., et al: "Object Technology: A Virtual Roundtable", Computer, pp. 58-72, Oct. 95. ***
Fayad, M.E.; Tsai, W.T.; Fulghum, M.L.: "Transition to Object-Oriented Software Development", Comm. ACM, 39:2, pp. 108-121, Feb. 1996. BII.
Goldsack, S.J.; Kent, S.J.: "Formal Methods and Object Technology", (Formal Approaches to Computing and Information Technology (FACIT). Ed.: S.A. Schuman), 1996. Softcover DM 88,-; ISBN 3-540-19977-2.
This book presents an overview of two approaches to software engineering - formal methods and object-oriented techniques - and by extracting the best aspects of each demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal techniques to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed. By focusing on these two, previously independent, techniques and illustrating how their merger is resulting in the development of tools which are essential to the development of large scale software the editors of this book have provided valuable coverage of this rapidly developing and important area.
Harrison, W.; Ossher, H.: "Subject-Oriented Programming (A Critique of Pure Objects)", IBM Research RC 18826, 1993.
Hartweg, Larry; "A uniform theory for object-oriented enterprise modeling", draft paper, 1990.
Islam, N.: "Distributed Objects", IEEE Computer Society Press, Los Alamitos, CA, 1996. ISBN: 0-8186-7193-9. HIT.
Lorenz, M.; Kidd, J.: "Object-Oriented Software Metrics", Prentice Hall, Englewood Hills, 1994. ISBN: 0-13-179292-X. HIT.
Love, T.: "Object Lessons", Sig Books, New York, 1993. ISBN: 0-9627477-3-4.
Meyer, B.: "Object-Oriented Software Construction", Prentice Hall, Englewood Cliffs, NJ, 1988. LAB2000. BII.
Nackman, L.R.; Barton, J.J.: "Base-Class Composition with Multiple Derivation and Virtual Classes", IBM Research RC 19458, 1994.
Orfali, Bob; Harkey, Dan; Edwards, J.: "The Essential Distributed Objects Survival Guide", John Wiley and Sons, New York, 1996. ISBN: 0-471-12993-3. BII.
Paepcke, A. et al.: "Using Distributed Objects for Digital Library Interoperability", Computer, 29:5, 5-96. BII.
Reeves, Cliff; Orfali, Bob; Harkey, Dan: "A Distributed Object Road Map for Developers", OS/2 Developer, pp.31-37, 9-10/1994.
Retig, M.; Simons, G.; Thomson, J.: "Extended Objects", Comm. ACM, 36:8, pp. 19-24, Aug. 1993.
Rine, D.C.: "Structural Defects in Object-Oriented Programming" ACM Software Eng. Notes, 21:2, 3-96.
Rubin, K.S.; Goldberg, A.: "Object Behaviour Analysis", Comm. of the ACM, vol. 35 no. 9, pp. 48-62, September 1992.
Rundensteiner, E.A.; Bic, L.: "Set Operations in Object-Based Data Models, IEEE Trans. Knowledge and Data Eng., Vol. 4:4, pp. 382-398, Aug. 1992.
Ruuskanen, Jouko; Singh, Raj: "Understanding object-orientation techniques", draft paper, 1990.
Selic, B.; Gullekson, G.; Ward, P.T.: "Real-time Object-Oriented Modeling", John Wiley & Sons, New York, 1994. ISBN: 0-471-59917-4. HIT.
Sharble, R.C., Cohen, S.S.: "The Object-Oriented Brewery: A Comparison of Two Object-Oriented Development Methods", ACM SigSoft, 18:2, pp. 60-73, Apr. 1993.
Taylor, D.A.: "Object-Oriented Technology: A Manager's Guide", Addison-Wesley, Reading, MA, 1990. ISBN: 0-201-56358-4.
Winblad, A. L.; Edwards, S. D.; King, D. R.: "Object-Oriented Software", Addison-Wesley, Reading, MA, 1990. LAB2000.
Xu, D.; Zheng, G.: "Inheritance as Sublation and its Semantics", Software Engineering Notes, pp. 62-66, 20:5, Dec. 1995.

Lenguajes y Sistemas

Ver también C++ y Smalltalk.

"Taligent's Guide to Designing Programs", Taligent Press, Addison-Wesley, Reading, MA, 1994. ISBN: 0-201-40888-0.
Alfonseca, M.: "Object Oriented Programming in APL2", APL Quote Quad (ACM SIGAPL), Vol. 19:3, p. 6-11, Aug. 1989.
Alfonseca, M.: "Frames, Semantic Networks and Object Oriented Programming in APL2", IBM Jour. Res. Development, Vol. 33:5, pp. 502.510, Sep. 1989.
Dalal, M.: "OOLP: A Translation Approach to Object-Oriented Logic Programming", IBM Research RC 15021, 1989.
Greco, S.; Leone, N.; Rullo, P.: "COMPLEX: An Object-Oriented Logic Programming System", IEEE Trans. Knowledge and Data Eng., Vol. 4:4, pp. 344-359, Aug. 1992.
Kaehler, C.: "HyperCard Power. Techniques and Scripts", Addison-Wesley, Reading, MA, 1988.
Kitza, W.: "Inside HyperCard", Addison-Wesley, Reading, MA, 1988.
Lau, C.: "Object-Oriented Programming using SOM and DSOM", Van Nostrand Reinhold, New York, 1994. ISBN: 0-442-01948-3.
Meyer, B.: "Eiffel, The Language", Prentice Hall, Englewood Cliffs, 1991.
Sanchis Llorca: "Programación en Lenguaje PASCAL", Paraninfo.
"Turbo Pascal 6.0", Borland International Scotts Valley, CA, 1990.

OOA-OOD

"Managing Object-Oriented Software Development", Computer, 29:9, 9-96. 6 artículos. BII.
Beck, K.; Cunningham, W.: "A laboratory for teaching object-oriented thinking", Proc. of Object-Oriented Programming Systems, Languages and Applications 1989 (OOPSLA '89). SIGPLAN Notices, Vol. 24, No. 10, October 89, pp 1-6.
Booch, G.: "Object-Oriented Analysis and Design with Applications", Benjamin/Cummings, Redwood City, 1994. ISBN: 0-8053-5340-2. 589 páginas. BII. Existe traducción española: "Análisis y diseño orientado a objetos", Addison-Wesley/Díaz de Santos, Madrid, 1996.
Coad, P.; Yourdon, E.: "Object-Oriented Analysis", Prentice Hall, Englewood Cliffs, 1991.
Coad, P.; Yourdon, E.: "Object-Oriented Design", Prentice Hall, Englewood Cliffs, 1991.
Desfray, P.: "Automated Object Design: The Client-Server Case", Computer, 29:2, 2-96. BII.
Hutt, A.T.F.: "Object Analysis and Design: Description of Methods", John Wiley & Sons, New York, 1994. ISBN 0 471-62366-0. BII.
Jacobson, I.: "Object-Oriented Software Engineering: A Use Case Driven Approach", Addison-Wesley, Reading, Mass, 1992. ISBN: 0-201-54435-0. BII.
Kurtz, B. et al: "Object-Oriented Systems Analysis and Specification", Prentice Hall, Englewood Cliffs, 1991.
Martin, James; Odell, James.: "Object-Oriented Analysis and Design", Prentice Hall, Englewood Cliffs, NJ, 1992.
Martin, J.; Odell, J.: "Object-Oriented Methods: a Foundation", Prentice Hall, Englewood Cliffs, 1995. ISBN: 0-13-630856-2. BII.
Mazhindu-Shumba, R.: "A comment on the notation of the Wirfs-Brock et al OO Method", Software Engineering Notes, 21:5, Sep. 1996.
Robertson, S.P.: "Generating Object-Oriented Design Representations Via Scenario Queries", IBM Research RC 19284, 1993.
Rosson, M.B.: "The Cognitive Consequences of Object-Oriented Design", IBM Research RC 14191, 1988.
Rosson, M.B.; Carroll, J.M.: "Integrating Scenario Evolution with Application Development", IBM Research RC 19290, 1993.
Rumbaugh, J.; Blaha, M.; Premerlani, W.; Eddy, F.; Lorensen, W.: "Object-Oriented Modelling and Design", Prentice Hall, Englewood Cliffs, 1991. ISBN 0-13-630054-5. BII. Existe traducción española: "Modelado y diseño orientados a objetos", Prentice Hall, 1995.
Shlaer, S.; Mellor, S.J.: "Object-Oriented System Analysis: Modelling the World in Data", Prentice Hall, Englewood Cliffs, NJ, 1988.
Watanabe, H.; Maruyama, H.: "LOOX (Lisp/VM Object-Oriented eXtension) ver 1.4 Users Manual", Internal Report, Tokyo Research Laboratory, Feb. 1988.
Winblad, A.L.; Edwards, S.D.; King, D.R.: "Object-Oriented Software", Addison-Wesley, Reading, MA, 1990. ISBN: 0-201-50736-6. LAB2000.
Wirfs-Brock, R.; Wilkerson, B.; Wiener, L.: "Designing Object-Oriented Software", Prentice Hall, Englewood Cliffs, 1990. ISBN 0-13-629825-7. LAB2000.

ODBMS

"ODBMS roadmap for IBM internal users", IBM Object-oriented DBMS Business Relations Management, 1993.
"Readings in Object-Oriented Database Systems", ed. S. B. Zdonik, D. Maier, Morgan Kaufmann Publishers San Mateo, CA, 1990.
Alagic, S.: "Object-Oriented Database Programming", Springer-Verlag, Berlín, 1988.
Atkinson, M. et al.: "The Object-Oriented Database System Manifesto", Proc. First Intl. Conf. on Deductive and Object-Oriented Databases, Elsevier, Amsterdam, 1989.
Bancillion, F.: "Object-Oriented Database Systems", Proc. ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Austin, Texas, 1988.
Barsalou, T.; Siambela, N.; Keller, A.M.; Wiederhold, G.: "Updating Relational Databases through Object-Based Views", IBM Research RC 16682, 1991. .
Bertino, E.; Martino, I.: "Object-Oriented Database Management Systems: Concepts and Issues", Computer, Vol. 24:4, 4-91.
Bertino, E.; Negri, M.; Pelagatti, G.; Sbattella, L.: "Object-Oriented Query Languages: The Notion and the Issues", IEEE Trans. Knowledge and Data Eng., Vol. 4:3, pp. 223-237, Jun. 1992.
Bretl, R., et al.: "The GemStone Data Management System", "Object-Oriented Concepts, Databases, and Applications", ed. W. Kim, F. Lochovsky, Addison-Wesley, Reading, MA, 1989.
Cannan, S.: "MOOSE hunting", Proc. of the SHARE Europe Spring Meeting, Hamburg, Germany, pp. 125-139, 1993.
Chawathe, S.S.: "On Index Selection Schemes for Nested Object Hierarchies", IBM Research RC 19388, 1994.
Deux, O. et al: "The Story of O2", IEEE Trans. on Knowledge and Data Engineering, 2:1, pp. 91-108, Mar. 1990.
Gotthard, W.; Lockemann, P.C.; Neufeld, A.: "System-Guided View Integration for Object-Oriented Databases", IEEE Trans. Knowledge and Data Eng., Vol. 4:1, pp. 1-22, Feb. 1992.
Gupta, R.; Horowitz, E.: "Object-Oriented Databases with Applications to CASE and Networks", Prentice Hall, Englewood Cliffs, NJ, 1991.
Harrison, W.; Ossher, H.: "Extension-by-Addition: Building Extensible Software", IBM Research RC 16127, 1990.
Harrison, W.; Ossher, H.: "The Plus-Plus Object Definition Environment", IBM Research RC 16283, 1990.
Harrison, W.; Ossher, H.: "CLORIS - A Clustered Object-Relational Information Store", IBM Research RC 16723, 1991.
Hughes, J.G.: "Object-Oriented Databases", Prentice Hall, Englewood Cliffs, NJ, 1991.
Ishikawa, H. et al: "An Object-Oriented Database System Jasmine", IEEE Knowledge & Data Eng., 8:2, 1996. BII.
Joseph, J., et al: "Object-Oriented Databases: Design and Implementation", Proceedings of the IEEE, Vol. 79:1, Jan. 1991.
Kim, W., Garza, J.F., Ballou, N., Woelk, D.: "Architecture of the ORION Next-Generation Database System", IEEE Trans. on Knowledge and Data Engineering, 2:1, pp. 109-124, Mar. 1990.
Kim, W.: "Object-Oriented Databases: Definition and Research Directions", IEEE Trans. on Knowledge and Data Engineering, 2:3, pp. 327-341, Sep. 1990.
Lee, S.Y.; Liou, R.L.: "A Multi-Granularity Locking Model for Concurrency Control in Object-Oriented Database Systems", IEEE Knowledge & Data Eng., 8:1, 2-96. BII.
Litwin, W.; Risch T.: "Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates", IEEE Trans. Knowledge and Data Eng., Vol. 4:5, pp. 517-528, Dec. 1992.
Malhotra, A.: "Support for Persistent Objects: Two Architectures", IBM Research RC 16985, 1991.
Nahouraii, E.; Petry, F.: "Object-Oriented Databases", IEEE Press, 1991. HIT.
Osborn, S.L.: "The Role of Polymorphism in Schema Evolution in an Object-Oriented Database", IEEE Trans. on Knowledge and Data Engineering, 1:3, pp. 310-317, Sep. 1989.
Tsuda, K., Yamamoto, K., Hirakawa, M., Tanaka, M., Ichikawa, T.: "MORE: An Object-Oriented Data Model with a Facility for Changing Object Structures", IEEE Trans. on Knowledge and Data Engineering, 3:4, pp. 444-460, Dec. 1991.

Aplicaciones

"Applications of Object-Oriented Programming", ed. L.J. Pinson, R.S. Wiener, Addison-Wesley, Reading, MA, 1990.
"Object-Oriented Experiences", Comm. ACM, 38:10, pp. 50-101, Oct. 1995. 5 artículos.
Ballou, N. et al: "Coupling an Expert System Shell with an Object-Oriented Database System", Jour. of Object-Oriented Programming, Vol. 1:2, June/July 1988.
Bertino, E.; Negri, M.; Pelagatti, G.; Sbatella, L.: "An Object-Oriented Data Model for Distributed Office Applications", Proc. ACM-IEEE Conference on Office Information Systems (COIS90), MIT Press, Cambridge, MA, 1990.
Sturzenbecker, M.C.: "Building an Object-Oriented Environment for Distributed Manufacturing Software", IBM Research RC 16481, 1991.
Swami, S.; Molin, A.; Covnot, B.: "OO-VHDL: Object-Oriented Extensions to VHDL", Computer, pp. 18-26, Oct. 95.
Wisskirchen, P.: "Object-Oriented Graphics", Springer-Verlag, Berlín, 1990.

Middleware, Databases (except OO)

"Data Mining and Knowledge Discovery in Databases", Comm. ACM, 39:11, Nov. 1996. 7 artículos. BII.
Ackerman, M.S.; Starr, B.: "Social Activity Indicators for Groupware", Computer, 29:6, 6-96. BII.
Bernstein, P.A.: "Middleware: A Model for Distributed System Services", Comm. ACM, 39:2, pp. 86-98, Feb. 1996. BII.
Codd, E.F.: "Normalized Data Base Structure: A Brief Tutorial", IBM Research RJ 935, 1971.
Date, C.J.: "Relational Data Base Concepts", Datamation, pp. 50-53, Apr. 1976.
Darwen, H.: "Time Is On Our Side", presentación en el Congreso JIDBD, Madrid, Jul. 1997.
Greham, R.: "Building SQL Front Ends", BYTE, pp. 238-246, Nov. 1993.
Marca, D.; Bock, G.: "Groupware: Software for Computer-supported Cooperative Work", IEEE Computer Society Press, Los Alamitos, 1992. ISBN: 0-8186-2637-2. HIT.
Moser, L.E. et al: "Totem: A Fault-Tolerant Multicast Group Communication System", Comm. ACM, 39:4, 4-96. Otros 6 artículos sobre el mismo tema. BII.
Scholz, K.W.: "An Algorithm for the Implementation of Query by Example on a Small Machine", IBM Research RC 5394, 1975.
Thomas, J.C.; Gould, J.D.: "A Psychological Study of Query by Example", Proc. National Computer Conference, AFIPS Press, Vol. 44, pp. 439-445, 1975. .
Zloof, M.M.: "Query by Example", IBM Research RC 4917, 1974.
Zloof, M.M.: "Query by Example: The Invocation and Definition of Tables and Forms", IBM Research RC 5115, 1975.
Zloof, M.M.: "Query by Example: Operations on the Transitive Closure", IBM Report, 1976.

Internet

"The Internet at Home", Comm. ACM, 39:12, Dec. 1996. 6 artículos. BII.
"Electronic Commerce and the Internet", Comm. ACM, 39:6, Jun. 1996. 10 artículos. BII.
Berger, H.: "The Client Side of the World-Wide-Web", Comm. ACM, 39:1, pp. 30-40, Jan. 1996. BII.
Berners-Lee, T.: "WWW: Past, Present, and Future", Computer, 29:10, pp. 69-78. 10-96. BII.
Ehn, P.; Löwgren, J.: "The Qualiteque: Systems at an Exhibition", Interactions, III.3, 5-1996. BII.
Hamilton, M. A.: "Java and the Shift to Net-Centric Computing", Computer, pp. 31-39, 29:8, 8-96. BII.
Kouzes, R.T.; Myers, J.D.; Wulf, W.A.: "Collaboratories: Doing Science on the Internet", Computer, pp. 40-46, 29:8, 8-96. BII.
Kwan, T.T.; McGrath, R.E.; Reed, D.A.: "NCSA's WWW Server: Design and Performance", Computer, pp. 68-74, Nov. 95.
Levi, M.D.; Conrad, F. G.: "A Heuristic Evaluation of a WWW Prototype", Interactions, III.4, 7-1996. BII.
Yourdon, E.: "Java, the Web and Software Development", Computer, pp. 25-30, 29:8, 8-96. BII.

Varios

"Open Systems", SHARE Europe Proceedings, AM, 1990, 2 vols.
"CASE and Application Development in Practice", SHARE Europe Proceedings, AM, 1991, vol I.
"Managing Communications in a Global Marketplace", SHARE Europe Proceedings, SM, 1992.
"Information Technology for Business Advantage", SHARE Europe Proceedings, AM, 1992.
"Client/Server. The Promise and the Reality", SHARE Europe Proceedings, AM, 1993.
"The Changing Rôle of IT in Business", SHARE Europe Proceedings, SM, 1994.
GUIDE-SHARE Europe Joint Conference, 1994, 2 vols.
"Ethics and Computer Use", Comm. ACM, 38:12, pp. 30-84, Dec. 1995. 7 artículos.
"Computing in Manufacturing", Comm. ACM, 39:2, Feb. 96. 8 artículos. BII.
"How to Use Key Escrow", Comm. ACM, 39:3, Mar. 1996. 5 artículos sobre Criptografía. BII.
"New Paradigms for Computing", Comm. ACM, 39:4, 8-96. 5 artículos. BII.
"Technology Transfer", Comm. ACM, 39:9, Sep. 1996. 5 artículos. BII.
"Fifty Years of Computing", Computer, 29:10, 10-96. 8 artículos. BII.
"Computer Science Curriculums", Comm. ACM, 39:12, Dec. 1996. 3 artículos. BII.
"Computer Applications in Surgery", Computer, 29:1, 1-96. 7 artículos. BII.
Brooks Jr., F.P.: "The Computer Scientist as a Toolsmith II", Comm. ACM, 39:3, pp. 61-68, Mar. 1996. BII.
Bürger, W.F.: "A Front End Development Tool for the PC", IBM Research RC 10098, 1983.
Bush, Vannevar: "As We May Think", Interactions, III.2, 3-1996. BII.
English, E.; Hamilton, S.: "Network Security Under Siege: The Timing Attack", Computer, 29:3, 3-96. BII.
Harrison, W.; Kavianpour, M.; Ossher, H.: "Integrating Coarse-Grained and Fine-Grained Tool Integration", IBM Research RC 17542, 1992.
Iivari, J.: "Why are CASE tools not used?", Comm. ACM, 39:10, pp. 94-103, Oct. 1996. BII.
Loch, K.D.; Conger, S.: "Evaluating Ethical Decision Making and Computer Use", Comm. ACM, 39:7, pp. 74-83, Jul. 1996. BII.
Maurer, U. (Ed.): "Advances in Cryptology - EUROCRYPT '96" International Conference on the Theory and Application of Cryptographic Techniques, Zaragoza, Spain, May (12-16), 1996. "Lecture Notes in Computer Science, Vol. 1070. 1996. XII, 417 pp. Softcover DM 86, ISBN 3-540-61186-X.
The book contains revised versions of the 34 papers selected from a total of 126 submissions. All current aspects of the booming area of cryptologic research and advanced applications are addressed. There are sections on cryptanalysis, public key cryptosystems, new schemes and protocols, multiparty computation, proofs of knowledge, number theory and algorithms, secret sharing, pseudorandomness, cryptographic functions, key management and identification schemes, and digital signature schemes.
Rader, G.M.: "Creating Printed Music Automatically", Computer, 29:6, 6-96. BII.
Renaud, P.E.: "Introduction to Client/Server Systems", Wiley, New York, 1993. BII, 681.31 REN.
Sellers, D.: "Zap! How your computer can hurt you and what you can do about it", Peachpit Press, Berkeley, 1994. ISBN: 1-56609-021-0. HIT.
Wood-Harper, A.T.; Corder, S.; Wood, J.R.G.; Watson, H.: "How We Profess: The Ethical Systems Analyst", Comm. ACM, 39:3, pp. 69-77, Mar. 1996. BII.

Otras Ciencias

Andreoni, W.; Gygi, F.; Parrinello, M.: "Impurity States in Doped Fullerenes: C59B and C59N", IBM Research RZ 2235, 1991.
Edmonds, E.: "Model Formation: An Application of m-Valued Logic", ?, 1972?.
Ibáñez Santiago, L.E.: "La búsqueda de la Teoría Final", Lección Inaugural del Curso Académico 1997-98, U.A.M.
McCorkle, R.A.: "A Theory of Matter", IBM Research RC 13935, 1988.
Rey Pastor, J.; Puig Adam, P.: "Metodología y Didáctica de la Matemática ELemental", Madrid, 1933. pp. 12-19, 22-41, 120-129, 138-139, 150-153.
Stone, H.S.: "Copyrights and Author's Responsibilities", IBM Research RA 212, 1992.