Equations, models and programs:A mathematical introduction to computer science - Myers Thomas J (Englewood Cliffs Prentice Hall, 1988)