G. R. Andrews and F. B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys, vol.15, issue.1, pp.3-43, 1983.
DOI : 10.1145/356901.356903
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.893

M. Ferraris, V. Midoro, G. Olimpo, D. Persico, L. Sarti et al., Corso di Introduzione all'informatica, 1985.

P. Bayman and R. E. Mayer, A diagnosis of beginning programmers' misconceptions of BASIC programming statements, Communications of the ACM, vol.26, issue.9, pp.677-679, 1983.
DOI : 10.1145/358172.358408

P. P. Chen, The Entity -Relationship Model: Toward a Unified View of Data, ACM Transactions on data-base systems, vol.1, 1976.

W. F. Clocksin and C. S. Mellish, Programming in PROLOG, 1981.

E. W. Dijkstra, How do we tell truths that might hurt?, SIGPLAN Notices, pp.13-15, 1982.
DOI : 10.1007/978-1-4612-5695-3_22

M. Ferraris, V. Midoro, and G. Olimpo, Petri nets as a modelling tool in the development of CAL courseware, Computers & Education, vol.8, issue.1, pp.41-49, 1984.
DOI : 10.1016/0360-1315(84)90051-4

M. Fierli, Aspetti formati vi dell'informatica di base Atti della giornata AICA su Contenuti formativi dell, 1982.

L. A. Gilbert, Microelectronics in education: two types of innovation, two strategies, International Journal of Man-Machine Studies, vol.17, issue.1, pp.3-14, 1982.
DOI : 10.1016/S0020-7373(82)80003-5

M. Jantzen, Structured Representation of Knowledqe by Petri nets as an aid for teaching and research, Net Theory and Application, 1980.

R. Killam, Computer Assisted Instruction in music, Pipeline, vol.6, pp.3-4, 1981.

R. A. Kowalski, Logic as a computer language for children, Proc. European conference on Artificial Intelligence, 1982.

B. H. Liskov and S. Zilles, Programming with abstract data types, ACM SIGPLAN Notices, vol.9, issue.4, pp.50-59, 1974.
DOI : 10.1145/942572.807045
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.3043

M. Moshell, Computer Power: a first course in using the computer, 1982.

G. Olimpo, Aspetti formativi del metodo informatico Atti della giornata AICA su Contenuti formativi dell, 1982.

G. Olimpo, Informatica nella formazione di base: obiettivi, contenuti e metodi, Proc. Simposio sobre Informatica y Educacion, 1984.

G. Olimpo, D. Persico, L. Sarti, and M. Tavella, An experiment in introducing the basic concepts of informatics, Proceedings WCCE'85, 1985.

S. Papert, Mindstorms: children, computer and powerful ideas, 1980.
DOI : 10.1007/978-3-0348-5357-6

R. E. Pattis, Karel the Robot, 1981.

L. Peterson, Petri net theory and the modelling of systems, 1981.

F. Scotti, The conceptual schema as didactic tool, Atti di ACM -SIGSE Technical Symposium on Computer Science Education, 1982.

R. J. Slidel, R. E. Anderson, and B. Hunter, Computer Literacy, 1982.

R. L. Wexelblat, The consequences of one's first programming language. Software- Practice and Experience, pp.733-740, 1981.

D. Woodhouse, Introductory courses in computing: Aims and languages, Computers & Education, vol.7, issue.2, pp.79-90, 1983.
DOI : 10.1016/0360-1315(83)90019-2