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