PROGRAM SPECIFICATION