[Barwise77] BARWISE, Jon. Handbook of mathematical
logic. North-Holland Publishing. 1977
[Bertoni] BERTONI, A. MIGLIOLI P, Towards a Theory
of Abstract Datya Types: a discussion of problems and tools. International
Symposium on Programming. LNCS No. 83. Springer-Verlag.
[Cardoso93] CARDOSO, Rodrigo. Verificación
y Desarrollo de Programas. Ediciones Uniandes. 1ra edición.
1993.
[Goguen78] GOGUEN, J.A. THATCHER J.W. WAGNER E.G. An
initial approach to the specification, correctness, and implementation
of abstract data types. 1978
[Huet82] HUET, Gérard. HULLOT,
Jean-Marie. Proofs by induction in equational theories
with constructors. Journal of computer and system science.
1982.
[Kühler98] KÜHLER, Ulrich. A Tactic-Based
Inductive Theorem Prover for Data Types with Partial
Operations. Doctoral Thesis Draft. University Kaiserslautern.
[Manna74] MANNA, Zohar. Mathematical Theory
of Computation. McGraw Hill Company. 1974
[Meyer90] MEYER, Bertrand. Introduction to
the Theory of Programming Languages. Prentice Hall. 1990
[O'Donell85] O'DONELL, Michael J. Lecture
Notes in Computer Science: Computing in Systems
Described by Equations. Springer-Verlag. 1977
[O'Donell77] O'DONELL, Michael J. Equational
Logic as a Programming Language. The MIT Press. 1985
[Toyama88] TOYAMA 88. Commutativity of term rewriting
systems en Programming of future generation Computers.
North Holland. 1988
ManTa 2
[Ruiz90] RUIZ, Carolina. ManTa 2. Tesis de
Magister. Departamento de Sistemas y Computación. Universidad
de los Andes. 1990
[Muñoz92] MUÑOZ, Cesar. ManTa: Un
sistema para la implantación certificada y automática de
Tipos Abstractos de Datos. Tesis de Magister. Departamento de
Sistemas y Computación. Universidad de los Andes. 1992.
ManTa 3.0
[Aponte95] APONTE, Hernán. MANTA 3.0:
Un sistema para la implantación certificada y automática
de tipos abstractos de datos. Tesis de Magister en Ingeniería
de Sistemas y Computación. Universidad de los Andes. 1995
ManTa 3.1
[Tamara97] TÁMARA, Vladimir. ManTa: Manipulador de Tipos Abstractos de Datos. Tesis de Pregrado en Ingeniería de Sistemas y Computación. Universidad de los Andes. 1997
[Tamara99] TÁMARA, Vladimir. ManTa: Manipulador de Tipos Abstractos de Datos. Tesis de Magister en Ingeniería de Sistemas y Computación. Universidad de los Andes. 1999
[Leroy98] LEROY, Xavier. The Objective Caml system,
documentation and user's guide. Release 2.00. 1998
[Leroy96] LEROY, Xavier. The Caml Light system Release
0.72. Documentation and user's manual. 1996
Software Engineering
[Whitten95] WHITTEN, Neal. Managing Software Development Projects :
formula for success. 2da. Edición. Editorial John Wiley &
Sons, Inc. 1995.
[Toro91] TORO, Victor Manuel. Organización
y documentación de programas grandes en C (ANSI), Memo de investigación
52, Circulación privada Centro de Documentación de la Facultad
de Ingeniería de la Universidad de los Andes, 1991.
Write your suggestions and commentaries to manta-bugs@lists.sourceforge.net
