Pita Andreu, M. I. (2003). Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura. Madrid: Universidad Complutense de Madrid.
Chicago Style CitationPita Andreu, María Isabel. Técnicas De Especificación Formal De Sistemas Orientados a Objetos Basadas En Lógica De Reescritura. Madrid: Universidad Complutense de Madrid, 2003.
MLA CitationPita Andreu, María Isabel. Técnicas De Especificación Formal De Sistemas Orientados a Objetos Basadas En Lógica De Reescritura. Madrid: Universidad Complutense de Madrid, 2003.
Warning: These citations may not always be 100% accurate.