Stav dette: Theory and practice of software technology :