System design from provably correct constructs : the beginnings of true software engineering
James Martin.
Englewood Cliffs, N.J. : Prentice-Hall, ©1985.
xviii, 392 págs. : ilustraciones ; 25 cm.
ISBN: 013881483X
Incluye referencias bibliográficas e índice.