Computer Program Function Specification (CPFS)