Program Process Theory Definition