1. AHO A.V. HOPCROFT J.E. and ULLMAN J.D. (1982): "Data Structures and Algorithms" Addison-Wesley Reading MA. AHO A.V. HOPCROFT J.E. and ULLMAN J.D. (1982): "Data Structures and Algorithms" Addison-Wesley Reading MA.
2. Can programming be liberated from the von Neumann style?
3. Computational problems related to the design of normal form relational schemas
4. BEIERLE C. (1981): "Synthesizing minimal programs from traces of observable behavior" Memo SEKI-BN-81-06 University of Bonn. BEIERLE C. (1981): "Synthesizing minimal programs from traces of observable behavior" Memo SEKI-BN-81-06 University of Bonn.
5. BERG H.K. BOEBERT W.E. FRANTA W.R. and MOHER T.G. (1982): "Formal Methods of Program Verification and Specification" Prentice-Hall Englewood Cliffs NJ. BERG H.K. BOEBERT W.E. FRANTA W.R. and MOHER T.G. (1982): "Formal Methods of Program Verification and Specification" Prentice-Hall Englewood Cliffs NJ.