Theoretical informatics and applications (EDP Sciences, 2000)