Update Specification

added Internal data structure and private operations