doi dblp Hierarchical progression analysis: A development and verification methodology Betty J. Andrews 1984 Volume 20 Issue 1-2