R. D. Tennent Explanation

can someone explain me these topic :-

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