Structural Validation in Queueing Network Models of Computer Systems. - Hiroshi Muramatsu; Masahiro Date; Takanori Maki (SIGMETRICS Perform. Evaluation Rev., 1981)