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