{Specification} Added program structure