My first attempt for the error formula was:
ISNULL( Source_Program__c )
However, this turned out not to work at all. Whether a value was in the field or not, the formula never generated a validation error.
Then, I switched over to an even more basic formula:
Source_Program__c = null
This worked like a charm. Am I missing something here?