Current trends in programming methodology.v1.Software specification and design.v2.Program validation.v3.Software Modelin - Yeh, Raymond T. (Prentice hall, 1977)