A program specification is a definition of what a computer program is expected to do [Wikipedia].
What - not how.