Practical Foundations of Business System Specifications by Haim Kilov & Haim Ed Kilov