7. Referencias bibliográficas

Aho, A. V., Sethi, R. & Ullman, J. D. (1986), Compilers: Principles, Techniques and Tools. Adisson Wesley.
Backus, J. et al. (1956), The Fortran Automatic Coding System for the IBM 704. IBM Applied Science Division and Programming Research Department.
Backus, J. (1978), “Can Programming Be Liberated from the von Neumann Style?: a Functional Style and its Algebra of Programs”. Communications of the ACM. v.21 n.8, pp. 613-641.
Booch, G. (1996), Análisis y Diseño Orientado a Objetos con Aplicaciones. Segunda Edición. Addison-Wesley/Díaz de Santos.
Booch, G., Rumbaugh, J. & Jacobson, I. (1999), El Lenguaje Unificado de Modelado. Addison-Wesley.
Campbell, B. & Goodman J.M. (1988), “HAM: A general purpose hypertext abstract machine.” Communications of the ACM (7). pp. 856-861.
Ceri, S., Fraternali & P. Bongio. A. (2000), « Web Modeling Language (WebML): a Modeling Language for Designing Web Sites''. Actas Proc. www9 Conference, Amsterdam.
Chomsky, N. (1956), “Three Models for the Description of Language”. IRA Transactions on Information Theory 2, 3, pp. 113-124.
Codd, E.F. (1970), “A Relational Model of Data for large Shared Data Banks”, CACM 13, nº6.
Colmerauer, A., Kanoui, H., Roussel, P. & Pasero, R. (1973), “Un Système de Communication Homme-Machine en Francais” Tech. Report. Groupe de Recherche en Intelligence Artificielle. Univ. d’Aix-Marseille.
Comai, S. & Fraternali, P. A (2001), “Semantic Model for Specifying Data-Intensive Web Applications using WebML”. Actas Proc. Semantic Web Workshop. Stanford.
Dahl, O. J., Myhrhaug B. & Nygaard, K. (1970), Simula67: Common Base Language. Norwegian Computer Center. Oslo. Noruega.
Deitel, H. M. & Deitel, P. J. (1995), Cómo Programar en C/C++. Segunda Edición. Addison-Wesley.
Díaz, P., Aedo, I. & Panetsos, F. (2001), “11 Modelling the dynamic behaviour of hypermedia applications”. IEEE Transactions on Software Engineering ( 6). 550-572.
Deparment of Defense. (1960), COBOL. Initial Specifications for a Common Business Oriented Language. Government Printing Office. #1960 0—552133.
Garzotto, F., Paolini, P. & Schwabe, D. (1993), “HDM: A model-based approach to hypertext application design.” ACM Transactions on Information Systems (1). 1-26.
Green, C. (1969), “Application of Theorem Proving to Problem Solving”. Proceedings of the IJCAI. 219-239. Morgan Kauffman.
Halasz, F. & Schwartz, M. (1994), “The Dexter Hypertext Reference Model”. Communications of the ACM (2). pp. 30-39.
Hardman, L., Bulterman, D. C. A. & van Rossum, G. (1994), “The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model”. Comunications of the ACM (2). pp. 50-62.
Irons, E. T. (1961), A Syntax Directed Compiler for ALGOL-60. Communications of the ACM 4. pp. 51-55.
Isakowitz, T., Stohr, E. A. & Balasubramanian, P. (1995), “RMM: a methodology of structured hypermedia design”. Communications of the ACM(8). pp. 34-43.
International Standards Organization. (1986), Standard Generalized Markup Language (SGML). ISO/IEC IS 8879.
International Standards Organization. (1992), Hypermedia/Time-based Structuring Language (HyTime). ISO/IEC IS 10744.
Knuth, D. E. (1962), “Semantics of Context-free Languages”. Mathematical System Theory (2).
Kuhn, T. S. (1962), The Structure of Scientific Revolutions. University of Chicago Press.
Manna, Z. (1974), Mathematical Theory of Computation. McGraw Hill.
McCarthy, J. (1960), “Recursive Functions of Symbolic Expressions and Their Computation by Machina (Part I)”.Communications of the ACM.
Naur (ed). (1960), “Report of the Algorithmic Language ALGOL-60”. Acta Polythecnica Scandinavica. Applied Mathematics and Computing Machiney Series. N. 5.
Navarro, A., Fernández-Manjón, B., Fernández-Valmayor, A. & Sierra, J. L. (2002), “Formal-Driven Conceptualization and Prototyping of Hypermedia Applications”. Actas Fundamentals Approaches to Software Engineering 2002, Proc. European joint conferences on Theory and Practice of Software 2002. R.D. Kutsche and H. Weber (eds). Springer-Verlag, LNCS, Berlin.
Plotkin, G. D.(1981), “Structural Operational Semantics”. Lecture Notes. DAIMI FN-19. Aaarhus University. Dinamarca.
Poe, E. A. (1973), “Criptografía”. En Poe, E. A. Ensayos y Críticas. (Traducción: Julio Cortazar)”. Alianza.
Robinson, J. A. (1965), “Machine-Oriented Logic Based on the Resolution Principle”. Journal of the ACM. 12(1). pp. 23-41.
Schwabe, D. & Rossi, G., Barbosa, S. D. J. (1996), “Systematic Hypermedia Application Design with OOHDM”. Actas 7th ACM Conference on Hypertext, Washington D.C.
Sierra, J. L., Fernández-Valmayor, A., Fernández-Manjón & B. Navarro, (2003), “Applications with Domain-Specific Markup Languages: A Systematic Approach to the Development of XML-based Software”. 3th International Conference on Web Engineering. 2003.
Stotts, P. D. & Furuta R. (1989), “Petri-Net-Based Hypertext: Document Structure with Browsing Semantics”. ACM Transactions on Office Information Systems (1). pp. 3-29.
Stoy, J. E. (1981), Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT.
Tompa, F. A. (1989), “Data Model for Flexible Hypertext Database Systems”. ACM Transactions on Office Information Systems. (1). pp. 85-100.
World Wide Web Consortium (2001), Synchronized Multimedia Integration Language (SMIL 2.0). http://www.w3.org/TR/smil20/.
World Wide Web Consortium (2001), XML Linking Language (XLink) Version 1.0. http://www.w3.org/TR/2001/REC-xlink-20010627. (2001).
World Wide Web Consortium (2001), XML Pointer Language (XPointer), W3C Candidate Recommendation, 11 September 2001. http://www.w3.org/TR/xptr.
World Wide Web Consortium (1998), Extensible Markup Language (XML) 1.0. http://www.w3.org/TR/REC-xml.
World Wide Web Consortium (1999), HTML 4.01 Specification. http://www.w3.org/TR/html4/.

Índice general I Índice artículo