System design from provably correct constructs : THE BEGINNING OF TRUE SOFTWARE ENGINEERING. - Martin, James (Prentice-Hall, Inc., 1985)