Martin, James
System design from provably correct constructs /
James Martin
- Englewood Cliffs, NJ : Prentice-Hall, Inc. , 1985.
- XVIII, 392 p.
The beginnings of true software engineering
0-13-881483-X 3000.00
Electronic digital computers
Programming
System design