1. Top concepts
  2. informatics
  3. program theory
  4. specification of program