Introduction to Formal Model in Computer Science
