Material created and accumulated by Donald Cowan related to data directed design. Includes notes, correspondence, computer printouts, a bibliography, and related items. In addition the file includes copies of the following articles:

• 1. Manna, Zohar and Richard Waldinger. (January 1980). A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, volume 2, (number 1), pages 90-121.

• 2. Cheatham, T.E., G.H. Holloway, and J.A. Townley. (1981). Program refinement by transformation. IEEE Transactions on Software Engineering, pages 430-437.

• 3. Bergland, G.D. (October 1981). A guided tour of program design methodologies. Computer, pages 13-37.

• 4. Sharma, D.K. (November 1981). McDonald's problem : an example of using Dijkstra's programming method. The Bell System Technical Journal, volume 60, (number 9), pages 2157-2165.

• 5. Levy, Michael R. (June 1982). Modularity and the sequential file update problem. Communications of the ACM, volume 25, (number 6), pages 362-367.

The materials in this file may have been used to support the creation of the article titled, "The data transform programming method and file processing problems"by C.J. Lucena, R.C.B. Martins, and P.A.S. Veloso (Departamento de Informática, Pontifícia Universidade Católica, Rio de Janeiro, Brazil) and Donald Cowan (Department of Computer Science, University of Waterloo).

Material related to a proposal with the Canadian International Development Agency to support a twinning agreement between the Computer Science Department of the Pontifical Catholic University (PUC) of Rio de Janeiro, Brazil and the Computer Science Departments of the Universities of Waterloo and Toronto. Includes correspondence, draft copies of the proposal with notes and corrections, notes, two copies of a report titled, "The application of computer technology for development: report of the Secretary-General" published by the United Nations Economic and Social Council on May 20, 1970, and related items.