Brian T. Murray: Hierarchical testing using precomputed tests for modules. University of Michigan, USA 1994