R. D. Tennent Explanation

[comeforhunt]

can someone explain me these topic :-

1. The Principle of Abstraction
2. The Principle of Correspondence
3. The Principle of Data Type Completeness