Bibliography

DIJ

Dijkstra, E. W., "On the Cruelty of Really Teaching Computing Science", Comm. Assoc. Comput. Mach., 32, 12, 1989, pp. 1398-1414.

GAL

Gal-Ezer, J., "Computer Science Teachers' Certification", 1994 submitted.

GRI

Gries D., The Science of Programming, Springer-Verlag, New-York, 1981.

HAR

Harel D., "On Visual Formalisms", Comm. Assoc. Comput. Mach., 31, 5, 1988, pp. 514-530.

KUS

Kushan, S. B., "Preparing Programming Teachers", SIGCSE Bulletin, 26, 1, 1994, pp. 248-252.

LER

Leron , U., "Structuring Mathematical Proofs", American Mathematical Monthly, 90, 3, 1983, pp.174-185.

MER

Merrit, S., et al., ACM Model High School Computer Science Curriculum, Assoc. Comput. Mach. Inc., 1994.

NAS

Nassi, L. and Schneiderman, B., "Flowcharts Techniques for Structured Programming", SIGPLAN Notices of the ACM, 8, 8, pp. 12-26.

ROG

Rogers, J., et al., "Computer Science in Secondary School: Course Content", Comm. Assoc. Comput. Mach., 36, 12, 1985, pp. 270-274.

SFA

Sfard, A., Teaching Theory of Algorithms in High School, Ph.D Thesis, in Hebrew.

WIR

Wirth, N., "Program Development by Stepwise Refinement", Comm. Assoc. Comput. Mach., 14, 4, 1971, pp. 221-227.