Introduction to discrete mathematics and formal system specification. - Ince D C (1988)