Formal Specification Techniques For Engineering Modular C Programs by Yang Meng Tan