XEROGI
A FORMAL INTRODUCTION