EEMCS

Barosso, D. and Bartle, R. and Chazeran, C. and de Zwart, M. and Doumen, J.M. and Gorniak, S. and Kaźmierczak, M. and Kaskenmaa, M. and Benavente López, D. and Martin, A. and Naumann, I. and Reynolds, R. and Richardson, J. and Rossow, C. and Rywczyoska, A. and Thumann, M. (2008) Security and privacy in massively-multiplayer online games and social and corporate virtual worlds. ENISA Position Paper 1 ENISA (European Network and Information Security Agency), Crete. ISSN not assigned

Glaser, H. and Hartel, P.H. and Leuschel, M. and Martin, A. (2001) Declarative Languages in Education. In: Encyclopaedia of Microcomputers. Marcel Dekker Inc, New York, pp. 79-102. ISBN 0-8247-2726-6

Hartel, P.H. and Butler, M.J. and Currie, A. and Henderson, P. and Leuschel, M. and Martin, A. and Smith, A. and Ultes-Nitsche, U. and Walters, B. (1999) Questions and Answers About Ten Formal Methods. In: 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy. pp. 179-203. ERCIM/CNR. ISBN 88-7958-009-4