Logic, dependencies, and specification engineering. - P. F. Farrow (1988)