Category: Abstract Data Types Semantics