Stav dette: Program Development as a Formal Activity