System development - Jackson, M. A. (Prentice-Hall international series in computer science, 1983)