An invitation to computer science - Schneider, G. Michael (PWS Pub., 1999)