Programming Approach to Formal Methods (McGraw-Hill Internationa