An Introduction to Discreate Mathematics and Formal System Specification - D.C.Ince (London, 1984)
Keywords: An Introduction to Discreate Mathematics and Formal System Specification