Stav dette: Software systems construction with examples in Ada /