Systems methodology for software - Rus, Teodor; Rus, Daniela (World Scientific, 1993)