System Design from Provably Correct Constructs: The Beginnings of True Software Engineering
by
James Martin
Hardcover
details (
USA
).
ISBN: 978-0-13-881483-0
ISBN-10: 0-13-881483-X
Prentice Hall
· 1984