Interactive Computer Programmes for Education: Philosophy, Techniques and Examples (Addison-Wesley series in computer science)