A technique for software and systems design - Lano, R. J. (Amsterdam : North-Holland, 1979)
Keywords: Computer programs