A Technique for software and systems design - LANO, R. J. ; (North Holland, 1979)