Formal techniques in the management of software design. - W. E. Richardson (1983)