abstraction hierarchy. There are any references about abstraction hierarchy in here. you can look below.