A technique for software and systems design - Lano, R. J. (TRW series of software technology, 1979)